Re: TEST: format of issue 5.6 - owl:imports

Jeremy (and others),

I have attached a first cut at three test cases for owl:imports. In
addition to the tests, I've suggested some wording for the new test type
in section 3. Also, I'm not sure what sort of file structure is desired
for these tests. I've tried to be consistent within my own tests, but
feel free to massage URIs to fit better with the overall structure of
the other tests. If you have any questions, please don't hesitate to
ask.

Jeff


Jeremy Carroll wrote:
> 
> > ACTION Jeff Heflin will produce test cases for owl:imports
> 
> Hi Jeff,
> 
> I am aware that test cases for owl:imports are likely to be different from
> other test cases.
> While you may find the test case editor [1] helpful, it may just get in the
> way.
> 
> I suggest you create three or more RDF/XML files per test case, and give
> some indication of how you think they should appear in the test cases
> document. I will then do my best to make it appear the way you and the WG
> want in the test document.
> 
> There will be a new test case type for these tests. This is needed because
> the currently existing tests require one or two documents only. It will
> hopefully address the needs of those such as DanC who want the imports tests
> to be specially flagged.
> 
> Thus in terms of the current test doc [2] the imports tests will result in
> new text in section 3 Test Types, and one or more new test(s) (eventually)
> in section 6 The OWL Tests. I suggest the bulk of the explanation of what
> the test requires should be in the description of the test type.
> 
> Jeremy
> 
> [1] http://sealpc09.cnuce.cnr.it:8088/wowg/jsp/edit.jsp
> [2] http://www.w3.org/TR/2002/WD-owl-test-20021024/

Multi-Document Tests
---------------------
These tests use multiple documents. These are premisesNNN.rdf, supportNNN-X.rdf and either conclusionsNNN.rdf or nonconclusionsNNN.rdf, where NNN is the test numberand X is an alphabetic character to distinguish between multiple support documents. The conclusions are entailed by the premises if the support documents are also assumed to exist. The nonconclusions are not entailed by the premises, even if the support documents exists.


TEST #1

Description:
------------
If a document imports another document, then it entails anything that is
entailed by the conjunction of the two documents.

Premises:
----------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl="http://www.w3.org/2002/07/owl#"
  xmlns:ont="http://www.w3.org/2002/03owlt/imports/supportxxx-A#">

<rdf:Description rdf:about="">
  <owl:import rdf:resource="http://www.w3.org/2002/03owlt/imports/supportxxx-A.rdf">
</rdf:Description>

<ont:Man rdf:about="http://example.org/data#Socrates">

</rdf:RDF>

Support A (supportxxx-A.rdf)
-----------------------------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">

<owl:Ontology rdf:about="" />

<owl:Class rdf:ID="Man">
  <rdfs:subClassOf rdf:resource="#Mortal">
</owl:Class>

<owl:Class rdf:ID="Mortal" />

</rdf:RDF>

Entailments:
--------------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">

<rdf:Description rdf:ID="http://example.org/data#Socrates">
  <rdf:type rdf:resource="http://www.w3.org/2002/03owlt/imports/supportxxx-A#Mortal">
</rdf:Description>

</rdf:RDF>



TEST #2

Description:
------------
If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents.

Premises:
----------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl="http://www.w3.org/2002/07/owl#"
  xmlns:ont="http://www.w3.org/2002/03owlt/imports/supportxxx-A#">

<ont:Man rdf:about="http://example.org/data#Socrates">

</rdf:RDF>

             
Support A (supportxxx-A.rdf)
-----------------------------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">

<owl:Ontology rdf:about="" />

<owl:Class rdf:ID="Man">
  <rdfs:subClassOf rdf:resource="#Mortal">
</owl:Class>

<owl:Class rdf:ID="Mortal" />

</rdf:RDF>

Non-Entailments:
-----------------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">

<rdf:Description rdf:ID="http://example.org/data#Socrates">
  <rdf:type rdf:resource="http://www.w3.org/2002/03owlt/imports/supportxxx-A#Mortal">
</rdf:Description>

</rdf:RDF>

       
      
TEST #3

Description:
------------
If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive.

Premises:
----------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl="http://www.w3.org/2002/07/owl#"
  xmlns:ont="http://www.w3.org/2002/03owlt/imports/supportxxx-A#">

<rdf:Description rdf:about="">
  <owl:imports resource="http://www.w3.org/2002/03owlt/imports/supportxxx-A.rdf">
</rdf:Description>

<ont:Man rdf:about="http://example.org/data#Socrates">

</rdf:RDF>

Support A (supportxxx-A.rdf):
----------------------------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">

<owl:Ontology rdf:about="">
   <owl:imports rdf:resource="http://www.w3.org/2002/03owlt/imports/supportxxx-B.rdf">
</owl:Ontology>

<owl:Class rdf:ID="Man">
  <rdfs:subClassOf rdf:resource="#Person">
</owl:Class>

<owl:Class rdf:ID="Person" />

</rdf:RDF>

Support B (supportxxx-B.rdf):
-----------------------------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">

<owl:Ontology rdf:about="" />

<owl:Class rdf:about="http://www.w3.org/2002/03owlt/imports/supportxxx-A#Person">
  <rdfs:subClassOf resource="#Mortal">
</owl:Class>

<owl:Class rdf:ID="Mortal" />

</rdf:RDF>

Entailments:
------------
<rdf:RDF xmlns:rdf="rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">

<rdf:Description rdf:ID="http://example.org/data#Socrates">
  <rdf:type rdf:resource="http://www.w3.org/2002/03owlt/imports/supportxxx-B#Mortal">
</rdf:Description>

</rdf:RDF>