jena-core/testing/wg/description-logic/premises204.rdf

<!--++ description-logic-instance/premises204.rdf ** generated by SKB ++-->
<!--++ Created Mon Mar 10 16:23:02 2003 ++-->
<!--
  Copyright World Wide Web Consortium, (Massachusetts Institute of
  Technology, European Research Consortium for Informatics and
  Mathematics, Keio University).

  All Rights Reserved.

  Please see the full Copyright clause at
  <http://www.w3.org/Consortium/Legal/copyright-software.html>

  $Id: premises204.rdf,v 1.5 2003-12-05 05:06:35 jeremy_carroll Exp $
-->
<!--
DL Test: k_grz
ABox test from DL98 systems comparison.

-->
<!-- Author: Sean Bechhofer -->
<rdf:RDF
    xml:base="http://www.w3.org/2002/03owlt/description-logic/premises204"
    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: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#C8"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C12">
        <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#C10"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C14">
        <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#C12"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C18">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C20">
        <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#C16"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C22">
        <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#C20"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C24">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C22"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C26">
        <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#C24"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C28">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C26"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C30">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C14"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C28"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C32"/>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C34">
        <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#C32"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C36">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C32"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C38">
        <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#C36"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C40">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C32"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C38"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C42">
        <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#C40"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C44">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C32"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C42"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C46">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C30"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C44"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C48">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C50">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C52">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C50"/>
                    <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#C54">
        <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#C52"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C56">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C54"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C58">
        <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#C56"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C60">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C48"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C58"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C62">
        <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#C60"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C64">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C62"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C66">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C68">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C66"/>
                    <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#C70">
        <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#C68"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C72">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C70"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C74">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C76">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C74"/>
                    <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#C78">
        <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#C76"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C80">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C78"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C82">
        <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#C80"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C84">
        <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#C82"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C86">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C88">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C86"/>
                    <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#C90">
        <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#C88"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C92">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C94">
        <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#C92"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C96">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C84"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C94"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C98">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/>
                        </owl:complementOf>
                    </owl:Class>
                </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 rdf:about="http://oiled.man.example.net/test#C4"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/>
                </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#C100">
        <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#C98"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C102">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C104">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C102"/>
                    <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#C106">
        <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#C104"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C108">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C106"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C110">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C112">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C110"/>
                    <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#C114">
        <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#C112"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C116">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C114"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C118">
        <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#C116"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C120">
        <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#C118"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C122">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C124">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C122"/>
                    <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#C126">
        <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#C124"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C128">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C126"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C130">
        <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#C128"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C132">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C120"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C130"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C134">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C108"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C132"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C136">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C138">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C136"/>
                    <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#C140">
        <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#C138"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C142">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C140"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C144">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C146">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C144"/>
                    <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#C148">
        <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#C146"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C150">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C148"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C152">
        <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#C150"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C154">
        <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#C152"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C156">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C158">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C156"/>
                    <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#C160">
        <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#C158"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C162">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C160"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C164">
        <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#C162"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C166">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C154"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C164"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C168">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C142"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C166"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C170">
        <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#C168"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C172">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C174">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C172"/>
                    <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#C176">
        <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#C174"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C178">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C176"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C180">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C182">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C180"/>
                    <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#C184">
        <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#C182"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C186">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C184"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C188">
        <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#C186"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C190">
        <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#C188"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C192">
        <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#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C194">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C192"/>
                    <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#C196">
        <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#C194"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C198">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C196"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C200">
        <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#C198"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C202">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C190"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C200"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C204">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C178"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C202"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C206">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C170"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C204"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C208">
        <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#C206"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C210">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C134"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C208"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C212">
        <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#C210"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C214">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C212"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C216">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C64"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C214"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </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#C46"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C216"/>
                </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#V3102">
        <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>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C214"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C62"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C42"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C32"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C26"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
                </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:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                </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#C98"/>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
        <rdf:type>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:allValuesFrom>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C60"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
        <rdf:type>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:allValuesFrom>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C40"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
        <rdf:type>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:allValuesFrom>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
        <rdf:type>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:allValuesFrom>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C24"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
    </owl:Thing>
</rdf:RDF>