premises662.rdf

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

  </owl:intersectionOf>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C16">
  <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#C14.comp"/>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.2"/>
    <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#C58">
  <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"/>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C14">
  <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#TOP"/>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.1"/>
    <owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
    >0</owl:maxCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C12">
  <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#C10"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C56">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C46"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C54.comp"/>
  </owl:intersectionOf>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C54">
  <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#C52"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.14"/>
    <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#C10">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C8"/>
  </owl:intersectionOf>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C52">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C48.comp"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C50.comp"/>
  </owl:intersectionOf>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.32"/>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C94">
  <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#C92"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.29"/>
    <owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
    >1</owl:minCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C50">
  <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"/>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.13"/>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#byte"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C92">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C82.comp"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/>
  </owl:intersectionOf>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.34"/>
    <owl:cardinality rdf:datatype="/2001/XMLSchema#byte"
    >0</owl:cardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C90">
  <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#C88"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C48">
  <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.12"/>
    <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#C46">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C30"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C44.comp"/>
  </owl:intersectionOf>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C88">
  <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#C86"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C44">
  <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#C42"/>
    </owl:someValuesFrom>
   </owl:Restriction>
  </owl:equivalentClass>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.10"/>
    <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#C42">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C34.comp"/>
   <owl:Class rdf:about="http://oiled.man.example.net/test#C40"/>
  </owl:intersectionOf>
  <owl:equivalentClass>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#P.31"/>
    <owl:maxCardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
    >0</owl:maxCardinality>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Class rdf:about="http://oiled.man.example.net/test#C86">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="http://oiled.man.example.net/test#C84.comp"/>
   <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#C84">
  <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.23"/>
    <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#C40">
  <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#C38"/>
   </owl:Restriction>
  </owl:equivalentClass>
 </owl:Class>
 <owl:Thing rdf:about="http://oiled.man.example.net/test#V8476">
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C2"/>
 </owl:Thing>
 <owl:Thing rdf:about="http://oiled.man.example.net/test#V8472">
  <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8476"/>
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
 </owl:Thing>
 <owl:Thing rdf:about="http://oiled.man.example.net/test#V8469">
  <rdf:type>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C2"/>
   </owl:Restriction>
  </rdf:type>
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C6.comp"/>
 </owl:Thing>
 <owl:Thing rdf:about="http://oiled.man.example.net/test#V8473">
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
 </owl:Thing>
 <owl:Thing rdf:about="http://oiled.man.example.net/test#V8474">
  <rdf:type>
   <owl:Restriction>
    <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
    <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
   </owl:Restriction>
  </rdf:type>
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C32.comp"/>
 </owl:Thing>
 <owl:Thing rdf:about="http://oiled.man.example.net/test#V8470">
  <rdf:type rdf:resource="http://oiled.man.example.net/test#TOP"/>
 </owl:Thing>
 <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467">
  <oiled:R1>
   <owl:Thing rdf:about="http://oiled.man.example.net/test#V8475">
    <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
   </owl:Thing>
  </oiled:R1>
  <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8474"/>
  <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8473"/>
  <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8472"/>
  <oiled:R1>
   <owl:Thing rdf:about="http://oiled.man.example.net/test#V8471">
    <rdf:type>
     <owl:Restriction>
      <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
      <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C2"/>
     </owl:Restriction>
    </rdf:type>
    <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
    <rdf:type rdf:resource="http://oiled.man.example.net/test#C78.comp"/>
   </owl:Thing>
  </oiled:R1>
  <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8469"/>
  <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8470"/>
  <oiled:R1>
   <owl:Thing rdf:about="http://oiled.man.example.net/test#V8468">
    <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
   </owl:Thing>
  </oiled:R1>
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C26.comp"/>
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C42.comp"/>
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C52.comp"/>
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C72.comp"/>
  <rdf:type rdf:resource="http://oiled.man.example.net/test#C92.comp"/>
 </owl:Thing>
</rdf:RDF>