<rdf:RDF

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

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

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

<owl:equivalentClass>

<owl:Restriction>

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

<owl:someValuesFrom>

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

</owl:someValuesFrom>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Class>

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

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

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

<owl:someValuesFrom>

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

</owl:someValuesFrom>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Class>

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

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

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

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Class>

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

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

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

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

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

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

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

<owl:equivalentClass>

<owl:Restriction>

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

<owl:someValuesFrom>

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

</owl:someValuesFrom>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Class>

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

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Restriction>

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

<owl:someValuesFrom>

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

</owl:someValuesFrom>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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

<owl:equivalentClass>

<owl:Class>

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

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

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

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

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

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

<rdf:type>

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

</rdf:type>

<rdf:type>

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

</rdf:type>

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

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

</owl:Thing>

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

<rdf:type>

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

</rdf:type>

<rdf:type>

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

</rdf:type>

<rdf:type>

<owl:Restriction>

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

<owl:allValuesFrom>

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

</owl:allValuesFrom>

</owl:Restriction>

</rdf:type>

</owl:Thing>

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

<rdf:type>

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

</rdf:type>

<rdf:type>

<owl:Class>

<owl:complementOf>

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

</owl:complementOf>

</owl:Class>

</rdf:type>

<rdf:type>

<owl:Restriction>

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

<owl:allValuesFrom>

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

</owl:allValuesFrom>

</owl:Restriction>

</rdf:type>

</owl:Thing>

</rdf:RDF>