Domain and range proposed test cases

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