Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
These are general satisfiability tests that are intended to test the interaction of role hierarchies, disjoint concepts and other things within an OWL reasoner.
DL | Inconsistent document. | 001 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest001#test>
|
|||
DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent001>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent001" 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.uk/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.uk/test#a"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#b"/> </owl:intersectionOf> </owl:Class> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.uk/test#a"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> </owl:intersectionOf> </owl:Class> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.uk/test#b"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> </owl:intersectionOf> </owl:Class> </owl:unionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#a"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.uk/test#b"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#b"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.uk/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent001> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:a rdf:type owl:Class . oiled:b rdf:type owl:Class . _:e rdf:first oiled:b . _:e rdf:rest rdf:nil . _:e rdf:type rdf:List . _:g rdf:first oiled:a . _:g rdf:rest _:e . _:g rdf:type rdf:List . _:c owl:intersectionOf _:g . _:i rdf:type owl:Class . oiled:a rdf:type owl:Class . oiled:c rdf:type owl:Class . _:k rdf:first oiled:c . _:k rdf:rest rdf:nil . _:k rdf:type rdf:List . _:m rdf:first oiled:a . _:m rdf:rest _:k . _:m rdf:type rdf:List . _:i owl:intersectionOf _:m . _:o rdf:type owl:Class . oiled:b rdf:type owl:Class . oiled:c rdf:type owl:Class . _:q rdf:first oiled:c . _:q rdf:rest rdf:nil . _:q rdf:type rdf:List . _:s rdf:first oiled:b . _:s rdf:rest _:q . _:s rdf:type rdf:List . _:o owl:intersectionOf _:s . _:u rdf:first _:o . _:u rdf:rest rdf:nil . _:u rdf:type rdf:List . _:w rdf:first _:i . _:w rdf:rest _:u . _:w rdf:type rdf:List . _:y rdf:first _:c . _:y rdf:rest _:w . _:y rdf:type rdf:List . _:a owl:unionOf _:y . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:a rdf:type owl:Class . _:a1 rdf:type owl:Class . _:c1 rdf:type owl:Class . oiled:b rdf:type owl:Class . oiled:c rdf:type owl:Class . _:e1 rdf:first oiled:c . _:e1 rdf:rest rdf:nil . _:e1 rdf:type rdf:List . _:g1 rdf:first oiled:b . _:g1 rdf:rest _:e1 . _:g1 rdf:type rdf:List . _:c1 owl:unionOf _:g1 . _:a1 owl:complementOf _:c1 . oiled:a rdfs:subClassOf _:a1 . oiled:b rdf:type owl:Class . _:i1 rdf:type owl:Class . oiled:c rdf:type owl:Class . _:i1 owl:complementOf oiled:c . oiled:b rdfs:subClassOf _:i1 . oiled:c rdf:type owl:Class . _:k1 rdf:type oiled:Unsatisfiable . |
DL | Inconsistent document. | 002 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest002#test>
|
|||
DL Test: fact2.1 | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent002>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent002" 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.uk/test#Unsatisfiable"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.uk/test#d"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#r"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> </owl:allValuesFrom> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#d"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#r"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#r"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> </owl:allValuesFrom> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.uk/test#d"/> </rdfs:subClassOf> </owl:Restriction> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.uk/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent002> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:Unsatisfiable rdfs:subClassOf oiled:c . _:a rdf:type owl:Class . oiled:d rdf:type owl:Class . _:a owl:complementOf oiled:d . oiled:Unsatisfiable rdfs:subClassOf _:a . oiled:c rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:c owl:allValuesFrom oiled:c . oiled:c rdfs:subClassOf _:c . oiled:d rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:e owl:allValuesFrom oiled:c . oiled:d rdf:type owl:Class . _:e rdfs:subClassOf oiled:d . _:g rdf:type oiled:Unsatisfiable . |
DL | Inconsistent document. | 003 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest003#test>
|
|||
DL Test: fact3.1 | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent003>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent003" 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.uk/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#f1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#p1"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#f2"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.uk/test#p1"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#f3"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#p2"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#p2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#f1"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#f1"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#f2"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#f2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#f3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#f2"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#f1"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#f3"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.uk/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent003> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f1 . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f2 . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:g owl:complementOf oiled:p1 . _:e owl:someValuesFrom _:g . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:f3 . oiled:p2 rdf:type owl:Class . _:i owl:someValuesFrom oiled:p2 . _:k rdf:first _:i . _:k rdf:rest rdf:nil . _:k rdf:type rdf:List . _:m rdf:first _:e . _:m rdf:rest _:k . _:m rdf:type rdf:List . _:o rdf:first _:c . _:o rdf:rest _:m . _:o rdf:type rdf:List . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . oiled:f2 rdf:type owl:ObjectProperty . oiled:f2 rdf:type owl:FunctionalProperty . oiled:f3 rdf:type owl:ObjectProperty . oiled:f3 rdfs:subPropertyOf oiled:f2 . oiled:f3 rdfs:subPropertyOf oiled:f1 . oiled:f3 rdf:type owl:FunctionalProperty . _:q rdf:type oiled:Unsatisfiable . |
DL | Inconsistent document. | 004 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest004#test>
|
|||
DL Test: fact4.1 | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent004>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent004" 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.uk/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#rx3"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.uk/test#c1"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#c2"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#rx3"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#c1"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#rx4"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#c2"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#c1"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#c2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx1"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx1"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx3"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx4"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx2"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx4"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rxa"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx1a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx2a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx3a"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx1a"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rxa"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx3a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx4a"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx2a"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rxa"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx4a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.uk/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent004> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:rx3 . _:g rdf:type owl:Class . oiled:c1 rdf:type owl:Class . oiled:c2 rdf:type owl:Class . _:i rdf:first oiled:c2 . _:i rdf:rest rdf:nil . _:i rdf:type rdf:List . _:k rdf:first oiled:c1 . _:k rdf:rest _:i . _:k rdf:type rdf:List . _:g owl:intersectionOf _:k . _:e owl:someValuesFrom _:g . _:c owl:complementOf _:e . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:rx3 . oiled:c1 rdf:type owl:Class . _:m owl:someValuesFrom oiled:c1 . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:rx4 . oiled:c2 rdf:type owl:Class . _:o owl:someValuesFrom oiled:c2 . _:q rdf:first _:o . _:q rdf:rest rdf:nil . _:q rdf:type rdf:List . _:s rdf:first _:m . _:s rdf:rest _:q . _:s rdf:type rdf:List . _:u rdf:first _:c . _:u rdf:rest _:s . _:u rdf:type rdf:List . _:a owl:intersectionOf _:u . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c1 rdf:type owl:Class . oiled:c2 rdf:type owl:Class . oiled:rx1 rdf:type owl:ObjectProperty . oiled:rx2 rdf:type owl:ObjectProperty . oiled:rx3 rdf:type owl:ObjectProperty . oiled:rx3 rdfs:subPropertyOf oiled:rx1 . oiled:rx3 rdfs:subPropertyOf oiled:rx . oiled:rx3 rdf:type owl:FunctionalProperty . oiled:rx4 rdf:type owl:ObjectProperty . oiled:rx4 rdfs:subPropertyOf oiled:rx2 . oiled:rx4 rdfs:subPropertyOf oiled:rx . oiled:rx4 rdf:type owl:FunctionalProperty . oiled:rxa rdf:type owl:ObjectProperty . oiled:rx1a rdf:type owl:ObjectProperty . oiled:rx2a rdf:type owl:ObjectProperty . oiled:rx3a rdf:type owl:ObjectProperty . oiled:rx3a rdfs:subPropertyOf oiled:rx1a . oiled:rx3a rdfs:subPropertyOf oiled:rxa . oiled:rx3a rdf:type owl:FunctionalProperty . oiled:rx4a rdf:type owl:ObjectProperty . oiled:rx4a rdfs:subPropertyOf oiled:rx2a . oiled:rx4a rdfs:subPropertyOf oiled:rxa . oiled:rx4a rdf:type owl:FunctionalProperty . oiled:rx rdf:type owl:ObjectProperty . oiled:rx rdf:type owl:FunctionalProperty . _:w rdf:type oiled:Unsatisfiable . |
DL | Consistent document. | 005 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest005#test>
|
|||
DL Test: fact4.2 | |||
N3 format is informative. | |||
DL | Consistent:
<description-logic/consistent005>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent005" 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.uk/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#rx3a"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.uk/test#c1"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#c2"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#rx3a"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#c1"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#rx4a"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#c2"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#c1"/> <owl:Class rdf:about="http://oiled.man.example.uk/test#c2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx1"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx1"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx3"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx4"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx2"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx4"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rxa"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx1a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx2a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx3a"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx1a"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rxa"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx3a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx4a"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rx2a"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.uk/test#rxa"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx4a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#rx"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.uk/test#rx"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.uk/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent005> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:rx3a . _:g rdf:type owl:Class . oiled:c1 rdf:type owl:Class . oiled:c2 rdf:type owl:Class . _:i rdf:first oiled:c2 . _:i rdf:rest rdf:nil . _:i rdf:type rdf:List . _:k rdf:first oiled:c1 . _:k rdf:rest _:i . _:k rdf:type rdf:List . _:g owl:intersectionOf _:k . _:e owl:someValuesFrom _:g . _:c owl:complementOf _:e . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:rx3a . oiled:c1 rdf:type owl:Class . _:m owl:someValuesFrom oiled:c1 . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:rx4a . oiled:c2 rdf:type owl:Class . _:o owl:someValuesFrom oiled:c2 . _:q rdf:first _:o . _:q rdf:rest rdf:nil . _:q rdf:type rdf:List . _:s rdf:first _:m . _:s rdf:rest _:q . _:s rdf:type rdf:List . _:u rdf:first _:c . _:u rdf:rest _:s . _:u rdf:type rdf:List . _:a owl:intersectionOf _:u . oiled:Satisfiable owl:equivalentClass _:a . oiled:c1 rdf:type owl:Class . oiled:c2 rdf:type owl:Class . oiled:rx1 rdf:type owl:ObjectProperty . oiled:rx2 rdf:type owl:ObjectProperty . oiled:rx3 rdf:type owl:ObjectProperty . oiled:rx3 rdfs:subPropertyOf oiled:rx1 . oiled:rx3 rdfs:subPropertyOf oiled:rx . oiled:rx3 rdf:type owl:FunctionalProperty . oiled:rx4 rdf:type owl:ObjectProperty . oiled:rx4 rdfs:subPropertyOf oiled:rx2 . oiled:rx4 rdfs:subPropertyOf oiled:rx . oiled:rx4 rdf:type owl:FunctionalProperty . oiled:rxa rdf:type owl:ObjectProperty . oiled:rx1a rdf:type owl:ObjectProperty . oiled:rx2a rdf:type owl:ObjectProperty . oiled:rx3a rdf:type owl:ObjectProperty . oiled:rx3a rdfs:subPropertyOf oiled:rx1a . oiled:rx3a rdfs:subPropertyOf oiled:rxa . oiled:rx3a rdf:type owl:FunctionalProperty . oiled:rx4a rdf:type owl:ObjectProperty . oiled:rx4a rdfs:subPropertyOf oiled:rx2a . oiled:rx4a rdfs:subPropertyOf oiled:rxa . oiled:rx4a rdf:type owl:FunctionalProperty . oiled:rx rdf:type owl:ObjectProperty . oiled:rx rdf:type owl:FunctionalProperty . _:w rdf:type oiled:Satisfiable . |