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

Issue jang-01: Re: RDFCore test case LC comment

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Mon, 27 Jan 2003 19:17:33 +0000
Message-Id: <5.1.0.14.0.20030127191700.02d618f8@localhost>
To: Jan Grant <Jan.Grant@bristol.ac.uk>, www-rdf-comments@w3.org

This has been recorded at:

   http://www.w3.org/2001/sw/RDFCore/20030123-issues/#jang-01

Brian

At 16:10 27/01/2003 +0000, Jan Grant wrote:

>The test case document lists three conditions sufficient for running the
>datatype-support test cases we currently have.
>
>
>[SEMANTICS] includes a closure rule (rdfD 4) which is not currently
>exercised by the test cases.
>
>An example test case for this rule would be that
>
>the empty graph
>[[
>]]
>RDFS+D(xsd:integer, xsd:decimal)-entails
>[[
>         xsd:integer rdfs:subClassOf xsd:decimal .
>]]
>
>
>Suggest adding this as a datatype test case. If RDFCore adopts this
>suggestion, a consequence is that the following _fourth_ condition needs
>to be added to the test case document, in the section that describes
>datatype support required for test cases:
>
>* For two "supported" datatypes T and U, it must be possible to
>         determine if the value space of T is a subset of the value space
>         of U.
>
>[Note that "datatype support" for, say, xsd:integer and xsd:decimal, can
>simply be extended to cover this by inclusing the subClassOf triple as a
>known fact. However, without such support for this addition condition,
>an inference engine wouldn't be able to make the entailment.]
>
>
>The test cases are not required to be complete; however, it seems
>appropriate to add such a (trivial) test case, but not vital.
>
>jan
>
>--
>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/
>Not as randy or clumsom as a blaster.
Received on Monday, 27 January 2003 14:16:24 GMT

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