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

I'm just getting round to changing the doc.

I'll get it to process these tests properly. I will chnage the test type of 
the positive entailment to "entailment with imports" or something like 
that; and get it so all the imported docs are in the Test Cases document. 
I'll add xml:base as well to your files.

Other planned changes:
- add stuff about conformance
- change something about the conflict resolution to be different between 
last call and proposed rec: I am not quite sure what, but I imagine we will 
have quite a lot of fixes to do in that period and the "if its wrong delete 
it" method looks too dramatic to me now. Maybe no change is needed ..., the 
current wording allows arbitrary change between last call and candidate rec.
- flagging of OWL Lite and OWL DL subsets; this will need support in the 
editor too.
- support for rdf:datatype in the parser ....

Jeremy




Jos De_Roo wrote:

> 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 14:06:52 UTC