<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/consistent631">

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

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

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

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

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

<owl:someValuesFrom>

<owl:Class rdf:about="#V.5"/>

</owl:someValuesFrom>

</owl:Restriction>

</owl:intersectionOf>

</owl:Class>

<owl:Class rdf:about="http://oiled.man.example.net/test#p1.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: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:intersectionOf rdf:parseType="Collection">

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

<owl:Class rdf:about="#C.3"/>

</owl:intersectionOf>

</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:equivalentClass>

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

<owl:allValuesFrom>

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

</owl:allValuesFrom>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

<owl:Class rdf:ID="V.5">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

<owl:someValuesFrom>

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

</owl:someValuesFrom>

</owl:Restriction>

</owl:equivalentClass>

</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: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:Class>

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

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

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

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

<owl:allValuesFrom rdf:resource="#C.2"/>

</owl:Restriction>

</owl:intersectionOf>

</owl:Class>

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

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

<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>

</owl:ObjectProperty>

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

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

</owl:ObjectProperty>

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

<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>

</owl:ObjectProperty>

<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>