W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

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

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 12 Dec 2002 17:58:40 +0100
To: "Jeff Heflin <heflin" <heflin@cse.lehigh.edu>
Cc: Jeremy Carroll <jjc@hpl.hp.com>, webont <www-webont-wg@w3.org>
Message-ID: <OFDDFA6F82.CBEC8D1A-ONC1256C8D.005BD6A7-C1256C8D.005D46EF@agfa.be>


Jeff, I've put those as

  http://www.w3.org/2002/03owlt/imports/Manifest001
  http://www.w3.org/2002/03owlt/imports/premises001
  http://www.w3.org/2002/03owlt/imports/support001-A
  http://www.w3.org/2002/03owlt/imports/conclusions001

  http://www.w3.org/2002/03owlt/imports/Manifest002
  http://www.w3.org/2002/03owlt/imports/premises002
  http://www.w3.org/2002/03owlt/imports/support002-A
  http://www.w3.org/2002/03owlt/imports/conclusions001

  http://www.w3.org/2002/03owlt/imports/Manifest003
  http://www.w3.org/2002/03owlt/imports/premises003
  http://www.w3.org/2002/03owlt/imports/support003-A
  http://www.w3.org/2002/03owlt/imports/support003-B
  http://www.w3.org/2002/03owlt/imports/conclusions001

but had to make some minor changes

I am able to run them now with an
older version of our running code
as we recently took importing out
(not convinced to go that way)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                       
                    Jeff Heflin                                                                                        
                    <heflin@cse.lehigh       To:     Jeremy Carroll <jjc@hpl.hp.com>                                   
                    .edu>                    cc:     webont <www-webont-wg@w3.org>                                     
                    Sent by:                 Subject:     Re: TEST: format of  issue 5.6 - owl:imports                 
                    www-webont-wg-requ                                                                                 
                    est@w3.org                                                                                         
                                                                                                                       
                                                                                                                       
                    2002-12-11 09:13                                                                                   
                    PM                                                                                                 
                                                                                                                       
                                                                                                                       




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>
Received on Thursday, 12 December 2002 11:59:21 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:55 GMT