W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 2003

Re: Missing test:entailmentRules arcs

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Fri, 7 Nov 2003 10:53:26 +0000 (GMT)
To: Sandro Hawke <sandro@w3.org>
Cc: www-rdf-comments@w3.org
Message-ID: <Pine.GSO.4.58.0311071042220.26055@mail.ilrt.bris.ac.uk>

Sandro, thank-you for your comments, and for taking the time to run the
test cases.

On Thu, 6 Nov 2003, Sandro Hawke wrote:

> The following entailment tests are not really defined (and dont work
> in my test harness), since they have no entailmentRules data:
>
> http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#test008
> http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#test009

The intention is that in the absence of other entailmentRules, simple
entailment is used. I note that that condition is missing from the test
case document through editorial oversight; my proposed fix is to add the
text,

[[
In the case that no test:entailmentRules elements are present, the rules
of simple entailment as specified in [RDF-SEMANTICS] are used.
]]


> http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.rdf#test007a
> http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.rdf#test007b
> http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.rdf#test007c

Again, these tests demonstrate the distinction between language-tagged
and non-language-tagged plain literals, and should be viewed as simple
entailments.


With the addition of the above editoral fix to the test case document,
would your concerns here be addressed?


-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
Unfortunately, I have a very good idea how fast my keys are moving.
Received on Friday, 7 November 2003 05:56:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:33 GMT