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

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

<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:about="http://oiled.man.example.net/test#b.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#c.comp">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

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

>0</owl:cardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

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

>1</owl:minCardinality>

</owl:Restriction>

</owl:equivalentClass>

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

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

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

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

</owl:intersectionOf>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

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

>1</owl:minCardinality>

</owl:Restriction>

</owl:equivalentClass>

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

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

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

</owl:intersectionOf>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

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

>0</owl:cardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty>

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

</owl:onProperty>

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

>0</owl:cardinality>

</owl:Restriction>

</owl:equivalentClass>

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

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

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

</owl:intersectionOf>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

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

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

>1</owl:minCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

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

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

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

</owl:intersectionOf>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

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

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

<owl:equivalentClass>

<owl:Restriction>

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

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

<owl:equivalentClass>

<owl:Restriction>

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

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

>1</owl:minCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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

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

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

<rdfs:subClassOf>

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

</rdfs:subClassOf>

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

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

</owl:intersectionOf>

</owl:Class>

<oiled:Unsatisfiable/>

</rdf:RDF>