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

Re: [Testcases] error in Retract XML

From: Stella Mitchell <stellamit@gmail.com>
Date: Wed, 4 Nov 2009 20:53:09 -0500
Message-ID: <d64b0f2c0911041753p63ede877t3e3b02d48ca66d1c@mail.gmail.com>
To: Gary Hallmark <gary.hallmark@oracle.com>
Cc: rif WG <public-rif-wg@w3.org>
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).


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 01:53:48 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:08:02 UTC