<rdf:RDF

xmlns:oiled="http://oiled.man.example.net/test#"

xmlns:owl="http://www.w3.org/2002/07/owl#"

xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"

xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"

xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent606">

<owl:Ontology rdf:about=""/>

<owl:Class rdf:about="http://oiled.man.example.net/test#p2.comp">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

<owl:DatatypeProperty rdf:ID="P.5"/>

</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#p3.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#p4.comp">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

<owl:DatatypeProperty rdf:ID="P.7"/>

</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#p5.comp">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

<owl:ObjectProperty rdf:ID="P.4"/>

</owl:onProperty>

<owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"

>1</owl:minCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

<owl:Class rdf:ID="C.1.comp">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

<owl:DatatypeProperty rdf:ID="P.1"/>

</owl:onProperty>

<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"

>0</owl:maxCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

<owl:Class rdf:ID="C.2.comp">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

<owl:ObjectProperty rdf:ID="P.2"/>

</owl:onProperty>

<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"

>1</owl:minCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

<owl:Class rdf:ID="C.3.comp">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

<owl:DatatypeProperty rdf:ID="P.3"/>

</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#Satisfiable">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>

</owl:onProperty>

<owl:someValuesFrom>

<owl:Class rdf:about="#A.14"/>

</owl:someValuesFrom>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

<owl:Class rdf:ID="A.14">

<owl:intersectionOf rdf:parseType="Collection">

<owl:Restriction>

<owl:onProperty>

<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>

</owl:onProperty>

<owl:someValuesFrom>

<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>

</owl:someValuesFrom>

</owl:Restriction>

<owl:Restriction>

<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>

<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"

>1</owl:maxCardinality>

</owl:Restriction>

</owl:intersectionOf>

</owl:Class>

<owl:Class rdf:ID="C.3">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#P.3"/>

<owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte"

>0</owl:cardinality>

</owl:Restriction>

</owl:equivalentClass>

<owl:intersectionOf rdf:parseType="Collection">

<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>

<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>

</owl:intersectionOf>

</owl:Class>

<owl:Class rdf:ID="C.2">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#P.2"/>

<owl:cardinality rdf:datatype="/2001/XMLSchema#short"

>0</owl:cardinality>

</owl:Restriction>

</owl:equivalentClass>

<owl:intersectionOf rdf:parseType="Collection">

<owl:Class rdf:about="http://oiled.man.example.net/test#p3.comp"/>

<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>

<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>

</owl:intersectionOf>

</owl:Class>

<owl:Class rdf:ID="C.1">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#P.1"/>

<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"

>1</owl:minCardinality>

</owl:Restriction>

</owl:equivalentClass>

<owl:intersectionOf rdf:parseType="Collection">

<owl:Class rdf:about="http://oiled.man.example.net/test#p2.comp"/>

<owl:Class rdf:about="http://oiled.man.example.net/test#p3.comp"/>

<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>

<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>

</owl:intersectionOf>

</owl:Class>

<owl:Class rdf:about="http://oiled.man.example.net/test#p5">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#P.4"/>

<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#p4">

<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#p5.comp"/>

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#P.7"/>

<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#p3">

<rdfs:subClassOf rdf:resource="#C.3"/>

<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:Class rdf:about="http://oiled.man.example.net/test#p2">

<rdfs:subClassOf rdf:resource="#C.2"/>

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty rdf:resource="#P.5"/>

<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#p1">

<rdfs:subClassOf rdf:resource="#C.1"/>

</owl:Class>

<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">

<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>

</owl:ObjectProperty>

<oiled:Satisfiable/>

</rdf:RDF>