- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Fri, 22 Nov 2002 14:39:25 +0100
- To: w3c-rdfcore-wg@w3.org
Two new tests capturing the Jeremy (non)-entailment for range and domain. === The four files are: http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises00 5.rdf does not RDFS entail http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclus ions005.rdf http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises00 6.rdf does not RDFS entail http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclus ions006.rdf === Stylistic issues include: - use of test:issue to refer to an OWL issue as well as an RDF issue - use of xml:base with expected URL including .rdf suffix - use of relative URI in conclusion - filenames (premises005.rdf nonconclusions005.rdf) - use of non-retrievabale URL for test names http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/intensiona lity-range and http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/intensiona lity-domain ==== I have added the following descriptions to: http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.r df <test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range /intensionality-range"> <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" /> <test:issue rdf:resource="http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.24-IF-o r-IFF-property-properties" /> <test:status>PENDING</test:status> <test:description> RDF Semantics defines rdfs:range to have an intensional reading. However, semantic extensions may give an extensional reading to range. The premise/conclusion pair is a non-entailment for RDFS reasoning, but may hold in semantic extensions. </test:description> <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" /> <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" /> <test:premiseDocument> <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range /premises005.rdf" /> </test:premiseDocument> <test:conclusionDocument> <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range /nonconclusions005.rdf" /> </test:conclusionDocument> </test:NegativeEntailmentTest> <test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range /intensionality-domain"> <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" /> <test:issue rdf:resource="http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.24-IF-o r-IFF-property-properties" /> <test:status>PENDING</test:status> <test:description> RDF Semantics defines rdfs:range to have an intensional reading of domain. However, semantic extensions may give an extensional reading to domain. The premise/conclusion pair is a non-entailment for RDFS reasoning, but may hold in semantic extensions. </test:description> <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" /> <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" /> <test:premiseDocument> <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range /premises006.rdf" /> </test:premiseDocument> <test:conclusionDocument> <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range /nonconclusions006.rdf" /> </test:conclusionDocument> </test:NegativeEntailmentTest>
Received on Friday, 22 November 2002 08:40:27 UTC