previous next top contents index

OWL Web Ontology Language
Test Cases
C.1. By Function

Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.

Contents

C.1. By Function

C.1.1. owl:DatatypeProperty

FullConsistent document.001
Description: (informative) <DatatypeProperty/Manifest001#test>
DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full.
N3 format is informative.
FullConsistent: <DatatypeProperty/consistent001> 
<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#"
    xmlns:first="http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001#"
    xml:base="http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001" >
  <owl:DatatypeProperty rdf:ID="convertedAbsoluteValue">
    <rdfs:domain rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
    <rdfs:range rdf:resource=
        "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" />
  </owl:DatatypeProperty>
  <rdf:Description>
     <owl:sameAs rdf:datatype=
      "http://www.w3.org/2001/XMLSchema#integer"
     >-3</owl:sameAs>
     <first:convertedAbsoluteValue rdf:datatype=
     "http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
     >3</first:convertedAbsoluteValue>
  </rdf:Description>
</rdf:RDF>
first:convertedAbsoluteValue rdf:type owl:DatatypeProperty .
first:convertedAbsoluteValue rdfs:domain xsd:integer .
first:convertedAbsoluteValue rdfs:range xsd:nonNegativeInteger .
_:a owl:sameAs "-3"^^xsd:integer  .
_:a first:convertedAbsoluteValue "3"^^xsd:nonNegativeInteger  .

C.1.2. owl:FunctionalProperty

FullPositive Entailment Test:005
Description: (informative) <FunctionalProperty/Manifest005#test>
If prop belongs to owl:FunctionalProperty then an OWL individual has at most one value for prop.
N3 format is informative.
Namespaces:
@prefix eg: <http://www.example.org/> .
FullPremises: <FunctionalProperty/premises005> 
<rdf:RDF
    xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises005"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:eg ="http://www.example.org/">
    <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
    <owl:Thing rdf:about="http://www.example.org/foo#object" />
</rdf:RDF>
eg:foo#prop rdf:type owl:FunctionalProperty .
eg:foo#object rdf:type owl:Thing .
FullConclusions: <FunctionalProperty/conclusions005> 
<rdf:RDF
    xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:eg ="http://www.example.org/">
    <owl:Thing rdf:about="http://www.example.org/foo#object">
      <rdf:type>
        <owl:Restriction>
   <owl:onProperty>
     <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
   </owl:onProperty>
   <owl:maxCardinality 
      rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
      >1</owl:maxCardinality>
        </owl:Restriction>
      </rdf:type>
    </owl:Thing>
</rdf:RDF>
eg:foo#object rdf:type owl:Thing .
_:a rdf:type owl:Restriction .
eg:foo#prop rdf:type owl:FunctionalProperty .
_:a owl:onProperty eg:foo#prop .
_:a owl:maxCardinality "1"^^xsd:nonNegativeInteger  .
eg:foo#object rdf:type _:a .

C.1.3. owl:Nothing

LiteInconsistent document.001
Description: (informative) <Nothing/Manifest001#test>
The triple asserts something of type owl:Nothing, however that is the empty class.
N3 format is informative.
LiteInconsistent: <Nothing/inconsistent001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Nothing/inconsistent001" >

  <owl:Nothing/>

</rdf:RDF>
_:a rdf:type owl:Nothing .

C.1.4. owl:cardinality

FullPositive Entailment Test:006
Description: (informative) <cardinality/Manifest006#test>
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
N3 format is informative.
FullPremises: <cardinality/premises006> 
<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/cardinality/premises006" >    
  <rdf:Description rdf:about="conclusions006#c">
     <owl:intersectionOf rdf:parseType="Collection">
        <owl:Restriction>
           <owl:onProperty rdf:resource="conclusions006#p"/>
           <owl:maxCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >1</owl:maxCardinality>
         </owl:Restriction>
         <owl:Restriction>
            <owl:onProperty rdf:resource="conclusions006#p"/>
            <owl:minCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
             >1</owl:minCardinality>
          </owl:Restriction>
       </owl:intersectionOf>
    </rdf:Description>
</rdf:RDF>
_:a rdf:type owl:Restriction .
_:a owl:onProperty second:p .
_:a owl:maxCardinality "1"^^xsd:nonNegativeInteger  .
_:c rdf:type owl:Restriction .
_:c owl:onProperty second:p .
_:c owl:minCardinality "1"^^xsd:nonNegativeInteger  .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:e rdf:type rdf:List .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:g rdf:type rdf:List .
second:c owl:intersectionOf _:g .
FullConclusions: <cardinality/conclusions006> 
<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/cardinality/conclusions006" >
  <rdf:Description  rdf:ID="c">
     <owl:intersectionOf rdf:parseType="Collection">
        <owl:Restriction>
           <owl:onProperty rdf:resource="#p"/>
           <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
           >1</owl:cardinality>
        </owl:Restriction>
      </owl:intersectionOf>
   </rdf:Description>
</rdf:RDF>
_:a rdf:type owl:Restriction .
_:a owl:onProperty second:p .
_:a owl:cardinality "1"^^xsd:nonNegativeInteger  .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
_:c rdf:type rdf:List .
second:c owl:intersectionOf _:c .

FullNegative Entailment Test:007
Description: (informative) <cardinality/Manifest007#test>
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
N3 format is informative.
FullPremises: <cardinality/premises007> 
<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/cardinality/premises007" >
    <owl:Restriction  rdf:ID="c">
      <owl:onProperty rdf:resource="#p"/>
      <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
       >1</owl:cardinality>
    </owl:Restriction>
</rdf:RDF>
first:c rdf:type owl:Restriction .
first:c owl:onProperty first:p .
first:c owl:cardinality "1"^^xsd:nonNegativeInteger  .
FullConclusions: <cardinality/nonconclusions007> 
<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/cardinality/nonconclusions007" >
    <rdf:Description rdf:about="premises007#c">
      <owl:intersectionOf rdf:parseType="Collection">
         <owl:Restriction>
            <owl:onProperty rdf:resource="premises007#p"/>
            <owl:maxCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
             >1</owl:maxCardinality>
          </owl:Restriction>
          <owl:Restriction>
          <owl:onProperty rdf:resource="premises007#p"/>
          <owl:minCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
           >1</owl:minCardinality>
       </owl:Restriction>
     </owl:intersectionOf>
   </rdf:Description>
</rdf:RDF>
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:maxCardinality "1"^^xsd:nonNegativeInteger  .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:p .
_:c owl:minCardinality "1"^^xsd:nonNegativeInteger  .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:e rdf:type rdf:List .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:g rdf:type rdf:List .
first:c owl:intersectionOf _:g .

C.1.5. owl:equivalentClass

FullPositive Entailment Test:007
Description: (informative) <equivalentClass/Manifest007#test>
De Morgan's law.
N3 format is informative.
FullPremises: <equivalentClass/premises007> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises007" >
   <rdfs:Class rdf:ID="A"/>
   <rdfs:Class rdf:ID="B"/>
</rdf:RDF>
first:A rdf:type rdfs:Class .
first:B rdf:type rdfs:Class .
FullConclusions: <equivalentClass/conclusions007> 
<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/equivalentClass/conclusions007" >
   <rdf:Description>
      <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description>
             <owl:complementOf rdf:resource="premises007#A"/>
          </rdf:Description>
          <rdf:Description>
             <owl:complementOf rdf:resource="premises007#B"/>
          </rdf:Description>
      </owl:intersectionOf>
      <owl:equivalentClass>
         <rdf:Description>
           <owl:complementOf>
             <rdf:Description>
               <owl:unionOf rdf:parseType="Collection">
                 <rdf:Description rdf:about="premises007#A"/>
                 <rdf:Description rdf:about="premises007#B"/>
               </owl:unionOf>
             </rdf:Description>
           </owl:complementOf>
         </rdf:Description>
      </owl:equivalentClass>
   </rdf:Description>   
</rdf:RDF>
_:a owl:complementOf first:A .
_:c owl:complementOf first:B .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:e rdf:type rdf:List .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:g rdf:type rdf:List .
_:i owl:intersectionOf _:g .
_:k rdf:first first:B .
_:k rdf:rest rdf:nil .
_:k rdf:type rdf:List .
_:m rdf:first first:A .
_:m rdf:rest _:k .
_:m rdf:type rdf:List .
_:o owl:unionOf _:m .
_:q owl:complementOf _:o .
_:i owl:equivalentClass _:q .

DLNegative Entailment Test:008
Description: (informative) <equivalentClass/Manifest008#test>
Annotation properties refer to a class instance. equivalentClass refers to the class extension.
N3 format is informative.
LitePremises: <equivalentClass/premises008> 
<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#"
  xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#" 
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises008" >

   <owl:Class rdf:ID="c1">
     <owl:equivalentClass>
       <owl:Class rdf:ID="c2"/>
     </owl:equivalentClass>
     <first:annotate>description of c1</first:annotate>
   </owl:Class>

   <owl:AnnotationProperty rdf:ID="annotate" />

</rdf:RDF>
first:c1 rdf:type owl:Class .
first:c2 rdf:type owl:Class .
first:c1 owl:equivalentClass first:c2 .
first:c1 first:annotate "description of c1" .
first:annotate rdf:type owl:AnnotationProperty .
LiteConclusions: <equivalentClass/nonconclusions008> 
<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#"
 xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#"
 xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008" >
   <owl:Class rdf:about="premises008#c2">
     <first:annotate>description of c1</first:annotate>
   </owl:Class>
   <owl:AnnotationProperty rdf:about="premises008#annotate" />

</rdf:RDF>
first:c2 rdf:type owl:Class .
first:c2 first:annotate "description of c1" .
first:annotate rdf:type owl:AnnotationProperty .

C.1.6. owl:imports

FullOWL described in OWL.010
Description: (informative) <imports/Manifest010#test>
This test specifies the domain and range for owl:imports.
N3 format is informative.
FullTrue: <imports/conclusions010> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://www.w3.org/2002/03owlt/imports/conclusions010" >
   <rdf:Property rdf:about="http://www.w3.org/2002/07/owl#imports">
      <rdfs:range rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
      <rdfs:domain rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
   </rdf:Property>

</rdf:RDF>
owl:imports rdf:type rdf:Property .
owl:imports rdfs:range owl:Ontology .
owl:imports rdfs:domain owl:Ontology .

C.1.7. owl:oneOf

DLPositive Entailment Test:004
Description: (informative) <oneOf/Manifest004#test>
This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL.
Required datatype support: xsd:short,
N3 format is informative.
DLPremises: <oneOf/premises004> 
<!DOCTYPE rdf:RDF [
   <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
   <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
]>
<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#"
 xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises004#"
 xml:base="http://www.w3.org/2002/03owlt/oneOf/premises004" >
 <owl:DatatypeProperty rdf:ID="p">
  <rdfs:range>
   <owl:DataRange>
    <owl:oneOf>
     <rdf:List>
      <rdf:first rdf:datatype="&xsd;integer">1</rdf:first>
      <rdf:rest>
       <rdf:List>
        <rdf:first rdf:datatype="&xsd;integer">2</rdf:first>
        <rdf:rest>
         <rdf:List>
          <rdf:first rdf:datatype="&xsd;integer">3</rdf:first>
          <rdf:rest>
           <rdf:List>
            <rdf:first rdf:datatype="&xsd;integer">4</rdf:first>
            <rdf:rest rdf:resource="&rdf;nil"/>
           </rdf:List>
          </rdf:rest>
         </rdf:List>
        </rdf:rest>
       </rdf:List>
      </rdf:rest>
     </rdf:List>
    </owl:oneOf>
   </owl:DataRange>
  </rdfs:range>
  <rdfs:range>
   <owl:DataRange>
    <owl:oneOf>
     <rdf:List>
      <rdf:first rdf:datatype="&xsd;integer">4</rdf:first>
      <rdf:rest>
       <rdf:List>
        <rdf:first rdf:datatype="&xsd;integer">5</rdf:first>
        <rdf:rest>
         <rdf:List>
          <rdf:first rdf:datatype="&xsd;integer">6</rdf:first>
          <rdf:rest rdf:resource="&rdf;nil"/>
         </rdf:List>
        </rdf:rest>
       </rdf:List>
      </rdf:rest>
     </rdf:List>
    </owl:oneOf>
   </owl:DataRange>
  </rdfs:range>
 </owl:DatatypeProperty>
 <owl:Thing rdf:ID="i">
  <rdf:type>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#p"/>
    <owl:minCardinality rdf:datatype="&xsd;int">1</owl:minCardinality>
   </owl:Restriction>
  </rdf:type>
 </owl:Thing>
</rdf:RDF>
first:p rdf:type owl:DatatypeProperty .
_:a rdf:type owl:DataRange .
_:c rdf:type rdf:List .
_:c rdf:first "1"^^xsd:integer  .
_:e rdf:type rdf:List .
_:e rdf:first "2"^^xsd:integer  .
_:g rdf:type rdf:List .
_:g rdf:first "3"^^xsd:integer  .
_:i rdf:type rdf:List .
_:i rdf:first "4"^^xsd:integer  .
_:i rdf:rest rdf:nil .
_:g rdf:rest _:i .
_:e rdf:rest _:g .
_:c rdf:rest _:e .
_:a owl:oneOf _:c .
first:p rdfs:range _:a .
_:k rdf:type owl:DataRange .
_:m rdf:type rdf:List .
_:m rdf:first "4"^^xsd:integer  .
_:o rdf:type rdf:List .
_:o rdf:first "5"^^xsd:integer  .
_:q rdf:type rdf:List .
_:q rdf:first "6"^^xsd:integer  .
_:q rdf:rest rdf:nil .
_:o rdf:rest _:q .
_:m rdf:rest _:o .
_:k owl:oneOf _:m .
first:p rdfs:range _:k .
first:i rdf:type owl:Thing .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:p .
_:s owl:minCardinality "1"^^xsd:int  .
first:i rdf:type _:s .
LiteConclusions: <oneOf/conclusions004> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises004#"
    xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions004" >
   <owl:DatatypeProperty rdf:about="premises004#p"/>
   <owl:Thing rdf:about="premises004#i">
     <first:p rdf:datatype=
"http://www.w3.org/2001/XMLSchema#short">4</first:p>
   </owl:Thing>
</rdf:RDF>
first:p rdf:type owl:DatatypeProperty .
first:i rdf:type owl:Thing .
first:i first:p "4"^^xsd:short  .

C.1.8. owl:sameIndividualAs

FullPositive Entailment Test:001
Description: (informative) <sameIndividualAs/Manifest001#test>
Annotation properties refer to a class instance. sameIndividualAs, in OWL Full, also refers to the class instance.
N3 format is informative.
FullPremises: <sameIndividualAs/premises001> 
<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#"
xmlns:first="http://www.w3.org/2002/03owlt/sameIndividualAs/premises001#"
  xml:base="http://www.w3.org/2002/03owlt/sameIndividualAs/premises001" 
   >

   <owl:Class rdf:ID="c1">
     <owl:sameIndividualAs>
       <owl:Class rdf:ID="c2"/>
     </owl:sameIndividualAs>
     <first:annotate>description of c1</first:annotate>
   </owl:Class>

   <owl:AnnotationProperty rdf:ID="annotate" />

</rdf:RDF>
first:c1 rdf:type owl:Class .
first:c2 rdf:type owl:Class .
first:c1 owl:sameIndividualAs first:c2 .
first:c1 first:annotate "description of c1" .
first:annotate rdf:type owl:AnnotationProperty .
LiteConclusions: <sameIndividualAs/conclusions001> 
<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#"
 xmlns:first="http://www.w3.org/2002/03owlt/sameIndividualAs/premises001#"
 xml:base="http://www.w3.org/2002/03owlt/sameIndividualAs/conclusions001" 
 >

   <owl:Class rdf:about="premises001#c2">
     <first:annotate>description of c1</first:annotate>
   </owl:Class>
   <owl:AnnotationProperty rdf:about="premises001#annotate" />

</rdf:RDF>
first:c2 rdf:type owl:Class .
first:c2 first:annotate "description of c1" .
first:annotate rdf:type owl:AnnotationProperty .

C.1.9. owl:someValuesFrom

FullPositive Entailment Test:001
Description: (informative) <someValuesFrom/Manifest001#test>
A simple example.
N3 format is informative.
LitePremises: <someValuesFrom/premises001> 
<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#"
    xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises001" >
    <owl:Class rdf:ID="r">
      <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="#p"/>
            <owl:someValuesFrom rdf:resource="#c"/>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="p"/>
    <owl:Class rdf:ID="c"/>
    <first:r rdf:ID="i"/>
</rdf:RDF>
first:r rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:someValuesFrom first:c .
first:r rdfs:subClassOf _:a .
first:p rdf:type owl:ObjectProperty .
first:c rdf:type owl:Class .
first:i rdf:type first:r .
FullConclusions: <someValuesFrom/conclusions001> 
<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#"
    xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001" >
    <rdf:Description rdf:about="premises001#i">
        <first:p>
           <first:c />
         </first:p>
    </rdf:Description>

</rdf:RDF>
_:a rdf:type first:c .
first:i first:p _:a .

previous next top contents index