- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Tue, 19 Nov 2002 10:32:57 +0000 (GMT)
- To: RDFCore Working Group <w3c-rdfcore-wg@w3.org>
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