<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/premises665">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<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#C2">
<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#C4.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.6"/>
</owl:onProperty>
<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#C18">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#C10.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#C16">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#C8"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#C14"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#C14">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#R1"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#C12">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#C10.comp"/>
</owl:intersectionOf>
</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>
<owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#C10">
<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.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#C6">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#C4.comp"/>
</owl:intersectionOf>
</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#C18"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/>
</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:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.6"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#byte"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V16562">
<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#C10.comp"/>
<rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V16561">
<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#C4.comp"/>
<rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V16560">
<rdf:type rdf:resource="http://oiled.man.example.net/test#TEST"/>
<rdf:type rdf:resource="http://oiled.man.example.net/test#TOP"/>
<oiled:R1 rdf:resource="http://oiled.man.example.net/test#V16562"/>
<oiled:R1 rdf:resource="http://oiled.man.example.net/test#V16561"/>
</owl:Thing>
</rdf:RDF>