premises662.rdf

来自「Jena推理机」· RDF 代码 · 共 912 行 · 第 1/3 页

    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:DatatypeProperty rdf:ID="P.3"/>
    </owl:onProperty>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C6.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:ObjectProperty rdf:ID="P.28"/>
    </owl:onProperty>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#integer"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C28">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom>
     <owl:Class rdf:about="http://oiled.man.example.net/test#C26"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:ObjectProperty rdf:ID="P.6"/>
    </owl:onProperty>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C26">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C20.comp"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C24"/>
  </owl:intersectionOf>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.30"/>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C68">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom>
     <owl:Class rdf:about="http://oiled.man.example.net/test#C66"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C24">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom>
     <owl:Class rdf:about="http://oiled.man.example.net/test#C22"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C66">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C64"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/>
  </owl:intersectionOf>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C22">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C64">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom>
     <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C20">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:DatatypeProperty rdf:ID="P.5"/>
    </owl:onProperty>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C62">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom>
     <owl:Class rdf:about="http://oiled.man.example.net/test#C60"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.17"/>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C92.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:ObjectProperty rdf:ID="P.34"/>
    </owl:onProperty>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C60">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C58"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/>
  </owl:intersectionOf>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C72.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.33"/>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C84.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:DatatypeProperty rdf:ID="P.23"/>
    </owl:onProperty>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#short"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C52.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:ObjectProperty rdf:ID="P.32"/>
    </owl:onProperty>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C20.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.5"/>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C32.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.7"/>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#integer"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C44.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:ObjectProperty rdf:ID="P.10"/>
    </owl:onProperty>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C36.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.8"/>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#int"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C48.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:ObjectProperty rdf:ID="P.12"/>
    </owl:onProperty>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C16.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty>
     <owl:ObjectProperty rdf:ID="P.2"/>
    </owl:onProperty>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#short"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C8">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C6.comp"/>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C28.comp">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.6"/>
    <owl:maxCardinality rdf:datatype="/2001/XMLSchema#byte"
    >0</owl:maxCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C6">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.28"/>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#integer"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#TEST">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C76"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C94.comp"/>
  </owl:intersectionOf>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C4">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C2">
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.3"/>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C18">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C16.comp"/>