- 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>
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 UTC