W3C home > Mailing lists > Public > public-rif-wg@w3.org > November 2009

Re: [Testcases] error in Retract XML

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Thu, 05 Nov 2009 11:32:09 -0800
Message-ID: <4AF32839.8020901@oracle.com>
To: Stella Mitchell <stellamit@gmail.com>
CC: rif WG <public-rif-wg@w3.org>
fine with me, but perhaps an even better improvement would be to change 
the entailment tests for all dialects to either entail
rif:test-result("pass") or to not entail rif:test-result("fail").

Stella Mitchell wrote:
> Hi Gary,
>
> I changed this by hand and checked it in.  If Christian generated
> these with a tool, it would be best to make the fix there.
>
> The other thing about Retract is that the conclusion is currently
> written as english text saying " 'John has been removed' will be
> printed." We don't account for this (printed results) in the
> documentation of PositiveEntailment tests, and documenting a unique
> string for each test doesn't seem necessary.
>
> What do you think about having all the PRD-only (negative and
> positive) entailment tests print either "Pass" or "Fail."  You
> advocated this in the past, but there wasn't a defined print action
> then. I think this would be a more natural and ready-to-use form for
> the PRD tests (though PRD implementations would still have to handle
> the Core tests anyway).
>
> Stella
>
> On Wed, Nov 4, 2009 at 8:09 PM, Gary Hallmark <gary.hallmark@oracle.com> wrote:
>   
>> Hi Stella,
>>
>> Here's another little thing:
>> The XML for http://www.w3.org/2005/rules/wiki/Retract uses <Not> but should
>> use <INeg>.
>>
>>
>>     
Received on Thursday, 5 November 2009 19:34:37 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 5 November 2009 19:34:38 GMT