First bit of datatype test cases (for Jos): manifest support.

I've updated
	2000/10/rdf-tests/rdfcore/skeleton/positiveEntailmentTest.rdf
(and related support files) to include the following lines:

   <!-- For datatype entailments, include the next line AND give the datatype support required -->
   <test:entailmentRules rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes#" />
   <test:datatypeSupport rdf:resource="http://www.w3.org/2001/XMLSchema#int" />

Basically, if an entailment test (positive or negative) requires
datatype knowledge / general DT closure rules then the entailmentRules
tag is needed. In addition, the datatypeSupport tag can be repeated to
list the specific datatypes used in the test.

jan

PS. The test case document includes this text:

[[
Negative Entailment Tests

...

Should a premise document contain a semantic error with respect to any
constraints imposed by the entailment rules selected, the entailment is
treated as not holding; that is, the test will succeed.
]]

So I'm going to use this to include the following test:

it is NOT the case that
{
eg:a eg:foo "fiewh"^^xsd:integer .
}
datatype-entails
{
}
(with knowledge of the xsd:integer datatype).

I'll come back to the list with the other tests in a bit.


-- 
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/
It's a sad fact that the word "semantics" seems to have lost all meaning.

Received on Tuesday, 19 November 2002 05:35:51 UTC