| <!--++ description-logic-instance/premises206.rdf ** generated by SKB ++--> |
| <!--++ Created Mon Mar 10 16:23:02 2003 ++--> |
| <!-- |
| Copyright World Wide Web Consortium, (Massachusetts Institute of |
| Technology, European Research Consortium for Informatics and |
| Mathematics, Keio University). |
| |
| All Rights Reserved. |
| |
| Please see the full Copyright clause at |
| <http://www.w3.org/Consortium/Legal/copyright-software.html> |
| |
| $Id: premises206.rdf,v 1.5 2003-12-05 05:06:36 jeremy_carroll Exp $ |
| --> |
| <!-- |
| DL Test: k_path |
| ABox test from DL98 systems comparison. |
| |
| --> |
| <!-- Author: Sean Bechhofer --> |
| <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> |