Re: TEST: harder DL tests (3 SAT)

[...]

> OWL Lite and UnionOf
> ==================
>
> I have also added Ian's example from
> http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0401.html
> which is found in 6 tests under:
>
>
http://www.w3.org/2002/03owlt/editors-draft/snapshot#proposedIssue-I5.2-Language-Compliance-Levels

>
> I note that many of Sean's tests can be reformulated as OWL Lite tests
using
> Ian's techniques, and I hope to do that (copying the tests into a new
> subsection "Harder OWL Lite Tests")

that's something that I will not consider
I can live with
  :AorB owl:unionOf (:A :B).

instead of with
<rdf:RDF
    xmlns: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#"
    xml:base="http://www.w3.org/2002/03owlt/I5.2/premises006" >

  <owl:Class rdf:ID="Nothing">
       <rdfs:subClassOf>
         <owl:Restriction>
            <owl:onProperty>
                <owl:ObjectProperty rdf:about="#p"/>
            </owl:onProperty>
            <owl:minCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >1</owl:minCardinality>
         </owl:Restriction>
       </rdfs:subClassOf>
       <rdfs:subClassOf>
         <owl:Restriction>
            <owl:onProperty>
                <owl:ObjectProperty rdf:about="#p"/>
            </owl:onProperty>
            <owl:maxCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >0</owl:maxCardinality>
         </owl:Restriction>
       </rdfs:subClassOf>
   </owl:Class>
 <owl:Class rdf:ID="A">
   <owl:sameClassAs>
     <owl:Restriction>
       <owl:onProperty>
         <owl:ObjectProperty rdf:about="#q"/>
       </owl:onProperty>
       <owl:someValuesFrom>
         <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
       </owl:someValuesFrom>
     </owl:Restriction>
   </owl:sameClassAs>
 </owl:Class>
 <owl:Class rdf:ID="notA">
   <owl:sameClassAs>
     <owl:Restriction>
       <owl:onProperty>
         <owl:ObjectProperty rdf:about="#q"/>
       </owl:onProperty>
       <owl:allValuesFrom>
         <owl:Class rdf:about="#Nothing"/>
       </owl:allValuesFrom>
     </owl:Restriction>
   </owl:sameClassAs>
 </owl:Class>
 <owl:Class rdf:ID="B">
   <owl:sameClassAs>
     <owl:Restriction>
       <owl:onProperty>
         <owl:ObjectProperty rdf:about="#r"/>
       </owl:onProperty>
       <owl:someValuesFrom>
         <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
       </owl:someValuesFrom>
     </owl:Restriction>
   </owl:sameClassAs>
 </owl:Class>
 <owl:Class rdf:ID="notB">
   <owl:sameClassAs>
     <owl:Restriction>
       <owl:onProperty>
         <owl:ObjectProperty rdf:about="#r"/>
       </owl:onProperty>
       <owl:allValuesFrom>
         <owl:Class rdf:about="#Nothing"/>
       </owl:allValuesFrom>
     </owl:Restriction>
   </owl:sameClassAs>
 </owl:Class>
 <owl:Class rdf:ID="notAorB">
   <owl:intersectionOf rdf:parseType="Collection">
    <owl:Class rdf:about="#notA"/>
    <owl:Class rdf:about="notB"/>
   </owl:intersectionOf>
 </owl:Class>

 <owl:Class rdf:ID="AorB">
   <owl:sameClassAs>
     <owl:Restriction>
       <owl:onProperty>
         <owl:ObjectProperty rdf:about="#s"/>
       </owl:onProperty>
       <owl:someValuesFrom>
         <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
       </owl:someValuesFrom>
     </owl:Restriction>
   </owl:sameClassAs>
 </owl:Class>
 <owl:Class rdf:about="#notAorB">
   <owl:sameClassAs>
     <owl:Restriction>
       <owl:onProperty>
         <owl:ObjectProperty rdf:about="#s"/>
       </owl:onProperty>
       <owl:allValuesFrom>
         <owl:Class rdf:about="#Nothing"/>
       </owl:allValuesFrom>
     </owl:Restriction>
   </owl:sameClassAs>
 </owl:Class>
</rdf:RDF>

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

Received on Friday, 28 February 2003 19:47:09 UTC