<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#"
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#C.1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4a"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#c2"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.1">
<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="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.1.comp">
<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:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.2"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2"/>
</rdfs:subPropertyOf>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1"/>
</rdfs:subPropertyOf>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rxa"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
</rdf:RDF>