test3.rdf revision 2934b482a63f53d8cac16b82a1a7e7284a1261bd
10139N/A<rdf:RDF
10139N/A xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent006"
10139N/A xmlns:owl="http://www.w3.org/2002/07/owl#"
12198N/A xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
10139N/A xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
10139N/A <owl:Ontology rdf:about=""/>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
10139N/A <owl:equivalentClass>
10139N/A <owl:Restriction>
10139N/A <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
10139N/A <owl:someValuesFrom>
10139N/A <owl:Class>
10139N/A <owl:intersectionOf rdf:parseType="Collection">
13322N/A <owl:Restriction>
12578N/A <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
10139N/A <owl:someValuesFrom>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
10139N/A </owl:someValuesFrom>
13262N/A </owl:Restriction>
11419N/A <owl:Restriction>
10139N/A <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
11419N/A <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
10139N/A </owl:Restriction>
10142N/A </owl:intersectionOf>
10142N/A </owl:Class>
10244N/A </owl:someValuesFrom>
12773N/A </owl:Restriction>
12773N/A </owl:equivalentClass>
12773N/A </owl:Class>
11419N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p1">
10139N/A <rdfs:subClassOf>
10139N/A <owl:Class>
11419N/A <owl:complementOf>
11437N/A <owl:Class>
11962N/A <owl:unionOf rdf:parseType="Collection">
11437N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
11437N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
10139N/A </owl:unionOf>
10139N/A </owl:Class>
10139N/A </owl:complementOf>
10139N/A </owl:Class>
10803N/A </rdfs:subClassOf>
10139N/A </owl:Class>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p2">
10139N/A <rdfs:subClassOf>
10139N/A <owl:Class>
10139N/A <owl:complementOf>
13462N/A <owl:Class>
13462N/A <owl:unionOf rdf:parseType="Collection">
13462N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
11419N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
10139N/A </owl:unionOf>
10139N/A </owl:Class>
10139N/A </owl:complementOf>
11419N/A </owl:Class>
11070N/A </rdfs:subClassOf>
11070N/A </owl:Class>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p3">
10139N/A <rdfs:subClassOf>
10139N/A <owl:Class>
10139N/A <owl:complementOf>
10139N/A <owl:Class>
10139N/A <owl:unionOf rdf:parseType="Collection">
12048N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
12048N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
13571N/A </owl:unionOf>
12849N/A </owl:Class>
12608N/A </owl:complementOf>
12849N/A </owl:Class>
12892N/A </rdfs:subClassOf>
12892N/A </owl:Class>
13577N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p4">
13034N/A <rdfs:subClassOf>
10139N/A <owl:Class>
10139N/A <owl:complementOf>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
10139N/A </owl:complementOf>
10139N/A </owl:Class>
10139N/A </rdfs:subClassOf>
10139N/A </owl:Class>
10139N/A <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
10139N/A <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
10139N/A <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
10139N/A </owl:ObjectProperty>
10139N/A <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
10139N/A <rdf:Description>
10139N/A <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
10139N/A </rdf:Description>
10139N/A</rdf:RDF>
10139N/A