<rdf:RDF

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

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

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

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

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

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

<owl:equivalentClass>

<owl:Class>

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

<owl:Restriction>

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

<owl:someValuesFrom>

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

</owl:someValuesFrom>

</owl:Restriction>

<owl:Restriction>

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

<owl:someValuesFrom>

<owl:Class>

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

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

<owl:Restriction>

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

<owl:allValuesFrom>

<owl:Restriction>

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

<owl:someValuesFrom>

<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>

</owl:someValuesFrom>

</owl:Restriction>

</owl:allValuesFrom>

</owl:Restriction>

</owl:intersectionOf>

</owl:Class>

</owl:someValuesFrom>

</owl:Restriction>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

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

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

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

</owl:ObjectProperty>

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

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

</owl:ObjectProperty>

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

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

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

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

<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>

</owl:ObjectProperty>

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

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

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

<rdf:Description>

<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>

</rdf:Description>

</rdf:RDF>