- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Mon, 27 Jan 2003 19:17:33 +0000
- 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 UTC