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

RDFCore test case LC comment

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Mon, 27 Jan 2003 16:10:36 +0000 (GMT)
To: www-rdf-comments@w3.org
Message-ID: <Pine.GSO.4.44.0301271601360.13893-100000@mail.ilrt.bris.ac.uk>

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 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 11:12:43 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:01 UTC