W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Domain and range proposed test cases

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Fri, 22 Nov 2002 14:39:25 +0100
To: w3c-rdfcore-wg@w3.org
Message-id: <BHEGLCKMOHGLGNOKPGHDCELPCAAA.jjc@hpl.hp.com>


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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:09 EDT