TestCase:WebOnt-description-logic-206

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id WebOnt-description-logic-206
Description DL Test: k_path

ABox test from DL98 systems comparison.

Status Extra credit (2009-07-22) (proposed 2009-05-13)
Author Sean Bechhofer
Original syntax RDF-XML
Syntactic Species/Profile OWL 2 DL (not EL, not QL, not RL)
Semantics This test is applicable under both direct and RDF-based semantics.
WebOnt test http://www.w3.org/2002/03owlt/description-logic/Manifest206#test
Premise ontology (download)

Convert syntax: functional, XML, Manchester      This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.
Open in RDF Validator

<rdf:RDF
    xml:base="http://www.w3.org/2002/03owlt/description-logic/premises206"
    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: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#C8"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
    <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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
                        </owl:complementOf>
                    </owl:Class>
                </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#C10"/>
                    <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:Class rdf:about="http://oiled.man.example.net/test#C20">
        <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#C18"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C22">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C20"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C24">
        <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#C26">
        <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#C24"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C28">
        <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#C26"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C30">
        <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#C12"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C32">
        <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#C30"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <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 rdf:about="http://oiled.man.example.net/test#C32"/>
                </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C28"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C38">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C36"/>
                    <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#C40">
        <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#TOP"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C42">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C38"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C40"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C44">
        <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#C46">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C44"/>
                        </owl:complementOf>
                    </owl:Class>
                </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 rdf:about="http://oiled.man.example.net/test#C46"/>
                </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#C12"/>
                        </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C50"/>
                        </owl:complementOf>
                    </owl:Class>
                </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#C48"/>
                        </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:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C56"/>
                    <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#C60">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C42"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C58"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C62">
        <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#TOP"/>
                </owl:intersectionOf>
            </owl:Class>
        </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 rdf:about="http://oiled.man.example.net/test#C60"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C62"/>
                </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#C2"/>
                        </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C66"/>
                        </owl:complementOf>
                    </owl:Class>
                </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: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#C12"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C74">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C76">
        <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#C74"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C78">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C70"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C76"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </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 rdf:about="http://oiled.man.example.net/test#C78"/>
                    <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#C82">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C64"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C80"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C84">
        <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#TOP"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C86">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C82"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C84"/>
                </owl:intersectionOf>
            </owl:Class>
        </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#TOP"/>
                    <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#C90">
        <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#C88"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
    <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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
                        </owl:complementOf>
                    </owl:Class>
                </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
                        </owl:complementOf>
                    </owl:Class>
                    <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:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </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: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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
    <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#C6"/>
                        </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C102"/>
                        </owl:complementOf>
                    </owl:Class>
                </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#C98"/>
                        </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: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#C108"/>
                </owl:intersectionOf>
            </owl:Class>
        </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#C90"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C110"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C114">
        <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#TOP"/>
                </owl:intersectionOf>
            </owl:Class>
        </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 rdf:about="http://oiled.man.example.net/test#C112"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C114"/>
                </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C120">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C118"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </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 rdf:about="http://oiled.man.example.net/test#C120"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C124">
        <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#C92"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C126">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C124"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C128">
        <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#C126"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C130">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C122"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C128"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </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#TOP"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C130"/>
                </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 rdf:about="http://oiled.man.example.net/test#C116"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C132"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C136">
        <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#TOP"/>
                </owl:intersectionOf>
            </owl:Class>
        </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#C134"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C136"/>
                </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
                        </owl:complementOf>
                    </owl:Class>
                </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#C92"/>
                        </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 rdf:about="http://oiled.man.example.net/test#C142"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C146">
        <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#C100"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C148">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C146"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C150">
        <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#C148"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C152">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C144"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C150"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C154">
        <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#C152"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C156">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C138"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C154"/>
                </owl:intersectionOf>
            </owl:Class>
        </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#C22"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C156"/>
                </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C162">
        <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#C160"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C166">
        <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#C164"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </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#C162"/>
                        </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#C18"/>
                        </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 rdf:about="http://oiled.man.example.net/test#C170"/>
                </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#C168"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C172"/>
                        </owl:complementOf>
                    </owl:Class>
                </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C178">
        <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#C176"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C180">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C174"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C178"/>
                        </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#C158"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C180"/>
                </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#V21026">
        <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#C178"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C98"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C76"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C70"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C54"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C48"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C28"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C172"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C166"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C162"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C150"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C144"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C128"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C122"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C106"/>
                </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>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C176"/>
                        </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#C170"/>
                        </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#C164"/>
                        </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#C160"/>
                        </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#C148"/>
                        </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#C142"/>
                        </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#C126"/>
                        </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#C120"/>
                        </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#C104"/>
                        </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#C96"/>
                        </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#C74"/>
                        </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#C68"/>
                        </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#C52"/>
                        </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#C46"/>
                        </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#C32"/>
                        </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#C26"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21028"/>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21027"/>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21029"/>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21030"/>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21027">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
        </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#C32"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C46"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C52"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C74"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C104"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C120"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C126"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C142"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C148"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C160"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C164"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C170"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C176"/>
                </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#C6"/>
                </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 rdf:about="http://oiled.man.example.net/test#C92"/>
                </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 rdf:about="http://oiled.man.example.net/test#C18"/>
                </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 rdf:about="http://oiled.man.example.net/test#C100"/>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21036"/>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21035"/>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21028">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21029">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
        </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#C32"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C46"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C52"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C74"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C104"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C120"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C126"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C142"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C148"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C160"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C164"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C170"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C176"/>
                </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:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:allValuesFrom>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
                </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 rdf:about="http://oiled.man.example.net/test#C92"/>
                </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 rdf:about="http://oiled.man.example.net/test#C18"/>
                </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 rdf:about="http://oiled.man.example.net/test#C100"/>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21034"/>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21033"/>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21030">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
        </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#C32"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C46"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C52"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C74"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C104"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C120"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C126"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C142"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C148"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C160"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C164"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C170"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C176"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
                </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#C6"/>
                </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 rdf:about="http://oiled.man.example.net/test#C92"/>
                </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 rdf:about="http://oiled.man.example.net/test#C18"/>
                </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 rdf:about="http://oiled.man.example.net/test#C100"/>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdf:type>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21032"/>
        <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V21031"/>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21031">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21032">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
        </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>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21033">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
        </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>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21034">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
        </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>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21035">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
        </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>
    </owl:Thing>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21036">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
        </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>
    </owl:Thing>
</rdf:RDF>
Conclusion ontology (download)

Convert syntax: functional, XML, Manchester      This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.
Open in RDF Validator

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
      xmlns:owl="http://www.w3.org/2002/07/owl#"
      xml:base="http://www.w3.org/2002/03owlt/description-logic/conclusions206"
>
<owl:Ontology/>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21027">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C30"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21027">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C24"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21029">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C50"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21029">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C44"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21030">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C72"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21030">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C66"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C180"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C22"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C8"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C90"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C88"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C86"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C84"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C82"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C80"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C4"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C64"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C78"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C62"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C60"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C58"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C42"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C56"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C40"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C38"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C36"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C20"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C158"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C174"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C168"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C16"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C156"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C154"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C138"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C152"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C14"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C136"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C134"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C10"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C132"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C116"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C130"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C114"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C112"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C110"/>
</rdf:type>
</owl:Thing>
<owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C108"/>
</rdf:type>
</owl:Thing>
</rdf:RDF>
Imported ontologies none

The version of this test approved by the WebOnt WG was incorrect. The conclusion ontology present in that version of the test was marked as an OWL Lite document, but was not OWL Lite because it did not contain a triple of the form O rdf:type owl:Ontology. The ontology has been revised to contain the necessary triple.

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox