Copyright © 2004 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 Full | 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.net/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.net/test#a"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#b"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#b"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:intersectionOf>
</owl:Class>
</owl:unionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#b"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#b">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/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 . _:g rdf:first oiled:a . _:g rdf:rest _:e . _: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 . _:m rdf:first oiled:a . _:m rdf:rest _:k . _: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 . _:s rdf:first oiled:b . _:s rdf:rest _:q . _:o owl:intersectionOf _:s . _:u rdf:first _:o . _:u rdf:rest rdf:nil . _:w rdf:first _:i . _:w rdf:rest _:u . _:y rdf:first _:c . _:y rdf:rest _:w . _: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 . _:g1 rdf:first oiled:b . _:g1 rdf:rest _:e1 . _: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 Full | 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.net/test#Unsatisfiable">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:allValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:allValuesFrom>
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</rdfs:subClassOf>
</owl:Restriction>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/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 Full | 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.net/test#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/>
<owl:someValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:complementOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f3"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f2"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f3">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f2"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f3"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/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 . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _: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 Full | 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.net/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.net/test#rx3"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx3"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx4"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx3"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx4"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rxa"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx3a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx4a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/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 . _:k rdf:first oiled:c1 . _:k rdf:rest _:i . _: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 . _:s rdf:first _:m . _:s rdf:rest _:q . _:u rdf:first _:c . _:u rdf:rest _:s . _: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 Full | 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.net/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.net/test#rx3a"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx3a"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx4a"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx3"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx4"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rxa"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx3a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx4a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/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 . _:k rdf:first oiled:c1 . _:k rdf:rest _:i . _: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 . _:s rdf:first _:m . _:s rdf:rest _:q . _:u rdf:first _:c . _:u rdf:rest _:s . _: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 . | |||
| DL Full | Consistent document. | 006 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest006#test>
|
|||
| DL Test: t1.1 | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent006>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent006"
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#Satisfiable">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent006> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:invR . _:c rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p1 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . _:g owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:i rdf:first _:g . _:i rdf:rest rdf:nil . _:k rdf:first _:e . _:k rdf:rest _:i . _:c owl:intersectionOf _:k . _:a owl:someValuesFrom _:c . oiled:Satisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:m rdf:type owl:Class . _:o rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:q rdf:first oiled:p5 . _:q rdf:rest rdf:nil . _:s rdf:first oiled:p4 . _:s rdf:rest _:q . _:u rdf:first oiled:p3 . _:u rdf:rest _:s . _:w rdf:first oiled:p2 . _:w rdf:rest _:u . _:o owl:unionOf _:w . _:m owl:complementOf _:o . oiled:p1 rdfs:subClassOf _:m . oiled:p2 rdf:type owl:Class . _:y rdf:type owl:Class . _:a1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:c1 rdf:first oiled:p5 . _:c1 rdf:rest rdf:nil . _:e1 rdf:first oiled:p4 . _:e1 rdf:rest _:c1 . _:g1 rdf:first oiled:p3 . _:g1 rdf:rest _:e1 . _:a1 owl:unionOf _:g1 . _:y owl:complementOf _:a1 . oiled:p2 rdfs:subClassOf _:y . oiled:p3 rdf:type owl:Class . _:i1 rdf:type owl:Class . _:k1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:m1 rdf:first oiled:p5 . _:m1 rdf:rest rdf:nil . _:o1 rdf:first oiled:p4 . _:o1 rdf:rest _:m1 . _:k1 owl:unionOf _:o1 . _:i1 owl:complementOf _:k1 . oiled:p3 rdfs:subClassOf _:i1 . oiled:p4 rdf:type owl:Class . _:q1 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:q1 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:q1 . oiled:p5 rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . _:s1 rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 007 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest007#test>
|
|||
| DL Test: t1.2 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent007>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent007"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent007> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:i owl:maxCardinality "2"^^xsd:nonNegativeInteger . _:k rdf:first _:i . _:k rdf:rest rdf:nil . _:m rdf:first _:g . _:m rdf:rest _:k . _:o rdf:first _:e . _:o rdf:rest _:m . _:q rdf:first _:c . _:q rdf:rest _:o . _:a owl:intersectionOf _:q . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:s rdf:type owl:Class . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w rdf:first oiled:p5 . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p4 . _:y rdf:rest _:w . _:a1 rdf:first oiled:p3 . _:a1 rdf:rest _:y . _:c1 rdf:first oiled:p2 . _:c1 rdf:rest _:a1 . _:u owl:unionOf _:c1 . _:s owl:complementOf _:u . oiled:p1 rdfs:subClassOf _:s . oiled:p2 rdf:type owl:Class . _:e1 rdf:type owl:Class . _:g1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:i1 rdf:first oiled:p5 . _:i1 rdf:rest rdf:nil . _:k1 rdf:first oiled:p4 . _:k1 rdf:rest _:i1 . _:m1 rdf:first oiled:p3 . _:m1 rdf:rest _:k1 . _:g1 owl:unionOf _:m1 . _:e1 owl:complementOf _:g1 . oiled:p2 rdfs:subClassOf _:e1 . oiled:p3 rdf:type owl:Class . _:o1 rdf:type owl:Class . _:q1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:s1 rdf:first oiled:p5 . _:s1 rdf:rest rdf:nil . _:u1 rdf:first oiled:p4 . _:u1 rdf:rest _:s1 . _:q1 owl:unionOf _:u1 . _:o1 owl:complementOf _:q1 . oiled:p3 rdfs:subClassOf _:o1 . oiled:p4 rdf:type owl:Class . _:w1 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w1 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:w1 . oiled:p5 rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . _:y1 rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 008 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest008#test>
|
|||
| DL Test: t1.3 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent008>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent008"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent008> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p2 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:invR . _:e rdf:type owl:Class . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p1 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:i owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:k rdf:first _:i . _:k rdf:rest rdf:nil . _:m rdf:first _:g . _:m rdf:rest _:k . _:e owl:intersectionOf _:m . _:c owl:someValuesFrom _:e . _:o rdf:first _:c . _:o rdf:rest rdf:nil . _:q rdf:first oiled:p2 . _:q rdf:rest _:o . _:a owl:intersectionOf _:q . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:s rdf:type owl:Class . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w rdf:first oiled:p5 . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p4 . _:y rdf:rest _:w . _:a1 rdf:first oiled:p3 . _:a1 rdf:rest _:y . _:c1 rdf:first oiled:p2 . _:c1 rdf:rest _:a1 . _:u owl:unionOf _:c1 . _:s owl:complementOf _:u . oiled:p1 rdfs:subClassOf _:s . oiled:p2 rdf:type owl:Class . _:e1 rdf:type owl:Class . _:g1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:i1 rdf:first oiled:p5 . _:i1 rdf:rest rdf:nil . _:k1 rdf:first oiled:p4 . _:k1 rdf:rest _:i1 . _:m1 rdf:first oiled:p3 . _:m1 rdf:rest _:k1 . _:g1 owl:unionOf _:m1 . _:e1 owl:complementOf _:g1 . oiled:p2 rdfs:subClassOf _:e1 . oiled:p3 rdf:type owl:Class . _:o1 rdf:type owl:Class . _:q1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:s1 rdf:first oiled:p5 . _:s1 rdf:rest rdf:nil . _:u1 rdf:first oiled:p4 . _:u1 rdf:rest _:s1 . _:q1 owl:unionOf _:u1 . _:o1 owl:complementOf _:q1 . oiled:p3 rdfs:subClassOf _:o1 . oiled:p4 rdf:type owl:Class . _:w1 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w1 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:w1 . oiled:p5 rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . _:y1 rdf:type oiled:Unsatisfiable . | |||
| DL Full | Consistent document. | 009 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest009#test>
|
|||
| DL Test: t10.1 | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent009>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent009"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:someValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:complementOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent009> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f . oiled:p rdf:type owl:Class . _:c owl:someValuesFrom oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f1 . _:g rdf:type owl:Class . oiled:p rdf:type owl:Class . _:g owl:complementOf oiled:p . _:e owl:someValuesFrom _:g . _:i rdf:first _:e . _:i rdf:rest rdf:nil . _:k rdf:first _:c . _:k rdf:rest _:i . _:a owl:intersectionOf _:k . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:s rdf:type owl:ObjectProperty . oiled:s rdfs:subPropertyOf oiled:f . oiled:s rdfs:subPropertyOf oiled:f1 . oiled:s rdf:type owl:FunctionalProperty . oiled:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:m rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 010 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest010#test>
|
|||
| DL Test: t10.2 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent010>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent010"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invS"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent010> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:p rdf:type owl:Class . _:c owl:complementOf oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f . _:g rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invS . oiled:p rdf:type owl:Class . _:i owl:allValuesFrom oiled:p . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:invF . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:s . oiled:p rdf:type owl:Class . _:m owl:someValuesFrom oiled:p . _:k owl:allValuesFrom _:m . _:o rdf:first _:k . _:o rdf:rest rdf:nil . _:q rdf:first _:i . _:q rdf:rest _:o . _:g owl:intersectionOf _:q . _:e owl:someValuesFrom _:g . _:s rdf:first _:e . _:s rdf:rest rdf:nil . _:u rdf:first _:c . _:u rdf:rest _:s . _:a owl:intersectionOf _:u . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:s rdf:type owl:ObjectProperty . oiled:s rdfs:subPropertyOf oiled:f . oiled:s rdfs:subPropertyOf oiled:f1 . oiled:s rdf:type owl:FunctionalProperty . oiled:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:w rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 011 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest011#test>
|
|||
| DL Test: t10.3 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent011>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent011"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:allValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:complementOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invS"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent011> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:s . _:e rdf:type owl:Class . oiled:p rdf:type owl:Class . _:e owl:complementOf oiled:p . _:c owl:allValuesFrom _:e . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:s . _:i rdf:type owl:Class . oiled:p rdf:type owl:Class . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:invS . oiled:p rdf:type owl:Class . _:k owl:someValuesFrom oiled:p . _:m rdf:first _:k . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p . _:o rdf:rest _:m . _:i owl:intersectionOf _:o . _:g owl:someValuesFrom _:i . _:q rdf:first _:g . _:q rdf:rest rdf:nil . _:s rdf:first _:c . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:s rdf:type owl:ObjectProperty . oiled:s rdfs:subPropertyOf oiled:f . oiled:s rdfs:subPropertyOf oiled:f1 . oiled:s rdf:type owl:FunctionalProperty . oiled:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:u rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 012 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest012#test>
|
|||
| DL Test: t10.4 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent012>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent012"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:someValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:complementOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent012> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f . oiled:p rdf:type owl:Class . _:c owl:someValuesFrom oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:s . owl:Thing rdf:type owl:Class . _:e owl:someValuesFrom owl:Thing . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:f1 . _:i rdf:type owl:Class . oiled:p rdf:type owl:Class . _:i owl:complementOf oiled:p . _:g owl:someValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:s rdf:type owl:ObjectProperty . oiled:s rdfs:subPropertyOf oiled:f . oiled:s rdfs:subPropertyOf oiled:f1 . oiled:s rdf:type owl:FunctionalProperty . oiled:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:q rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 013 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest013#test>
|
|||
| DL Test: t10.5 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent013>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent013"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF1"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent013> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f . oiled:p rdf:type owl:Class . _:c owl:someValuesFrom oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f1 . _:g rdf:type owl:Class . _:i rdf:type owl:Class . oiled:p rdf:type owl:Class . _:i owl:complementOf oiled:p . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:invF1 . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:s . owl:Thing rdf:type owl:Class . _:m owl:someValuesFrom owl:Thing . _:k owl:allValuesFrom _:m . _:o rdf:first _:k . _:o rdf:rest rdf:nil . _:q rdf:first _:i . _:q rdf:rest _:o . _:g owl:intersectionOf _:q . _:e owl:someValuesFrom _:g . _:s rdf:first _:e . _:s rdf:rest rdf:nil . _:u rdf:first _:c . _:u rdf:rest _:s . _:a owl:intersectionOf _:u . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:s rdf:type owl:ObjectProperty . oiled:s rdfs:subPropertyOf oiled:f . oiled:s rdfs:subPropertyOf oiled:f1 . oiled:s rdf:type owl:FunctionalProperty . oiled:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:w rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 014 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest014#test>
|
|||
| DL Test: t11.1 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent014>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent014"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invS"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent014> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:p rdf:type owl:Class . _:c owl:complementOf oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:e owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invS . oiled:p rdf:type owl:Class . _:i owl:allValuesFrom oiled:p . _:g owl:someValuesFrom _:i . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:s . oiled:p rdf:type owl:Class . _:k owl:someValuesFrom oiled:p . _:m rdf:first _:k . _:m rdf:rest rdf:nil . _:o rdf:first _:g . _:o rdf:rest _:m . _:q rdf:first _:e . _:q rdf:rest _:o . _:s rdf:first _:c . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:r rdf:type owl:ObjectProperty . oiled:s rdf:type owl:ObjectProperty . oiled:s rdfs:subPropertyOf oiled:r . _:u rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 015 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest015#test>
|
|||
| DL Test: t12.1 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent015>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent015"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:complementOf>
</owl:Class>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#q"/>
</owl:complementOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#q"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent015> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:s . _:e rdf:type owl:Class . _:g rdf:type owl:Class . oiled:p rdf:type owl:Class . _:g owl:complementOf oiled:p . _:i rdf:type owl:Class . oiled:q rdf:type owl:Class . _:i owl:complementOf oiled:q . _:k rdf:first _:i . _:k rdf:rest rdf:nil . _:m rdf:first _:g . _:m rdf:rest _:k . _:e owl:intersectionOf _:m . _:c owl:someValuesFrom _:e . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:r . _:q rdf:type owl:Class . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:invR . _:s owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:u rdf:type owl:Restriction . _:u owl:onProperty oiled:invR . _:w rdf:type owl:Restriction . _:w owl:onProperty oiled:s . oiled:p rdf:type owl:Class . _:w owl:allValuesFrom oiled:p . _:u owl:someValuesFrom _:w . _:y rdf:first _:u . _:y rdf:rest rdf:nil . _:a1 rdf:first _:s . _:a1 rdf:rest _:y . _:q owl:intersectionOf _:a1 . _:o owl:someValuesFrom _:q . _:c1 rdf:first _:o . _:c1 rdf:rest rdf:nil . _:e1 rdf:first _:c . _:e1 rdf:rest _:c1 . _:a owl:intersectionOf _:e1 . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:q rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . oiled:s rdf:type owl:ObjectProperty . _:g1 rdf:type oiled:Unsatisfiable . | |||
| DL Full | Consistent document. | 016 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest016#test>
|
|||
| DL Test: t2.1 | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent016>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent016"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f2"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent016> rdf:type owl:Ontology . oiled:Satisfiable 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 . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . oiled:Satisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:k rdf:type owl:Class . oiled:p2 rdf:type owl:Class . _:k owl:complementOf oiled:p2 . oiled:p1 rdfs:subClassOf _:k . oiled:p2 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . oiled:r rdfs:subPropertyOf oiled:f2 . oiled:r rdfs:subPropertyOf oiled:f1 . oiled:f1 rdf:type owl:ObjectProperty . oiled:f2 rdf:type owl:ObjectProperty . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:f1 . _:m owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:m . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:f2 . _:o owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:o . _:q rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 017 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest017#test>
|
|||
| DL Test: t2.2 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent017>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent017"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f2"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent017> 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 . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . owl:Thing rdf:type owl:Class . _:g owl:someValuesFrom owl:Thing . _:i rdf:first _:g . _:i rdf:rest rdf:nil . _:k rdf:first _:e . _:k rdf:rest _:i . _:m rdf:first _:c . _:m rdf:rest _:k . _:a owl:intersectionOf _:m . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:o rdf:type owl:Class . oiled:p2 rdf:type owl:Class . _:o owl:complementOf oiled:p2 . oiled:p1 rdfs:subClassOf _:o . oiled:p2 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . oiled:r rdfs:subPropertyOf oiled:f2 . oiled:r rdfs:subPropertyOf oiled:f1 . oiled:f1 rdf:type owl:ObjectProperty . oiled:f2 rdf:type owl:ObjectProperty . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:f1 . _:q owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:q . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:f2 . _:s owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:s . _:u rdf:type oiled:Unsatisfiable . | |||
| DL Full | Consistent document. | 018 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest018#test>
|
|||
| DL Test: t3.1 There are 90 possible partitions in the satisfiable case | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent018>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent018"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent018> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:k rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m rdf:first oiled:p . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p1 . _:o rdf:rest _:m . _:k owl:intersectionOf _:o . _:i owl:someValuesFrom _:k . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:r . _:s rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:u rdf:first oiled:p . _:u rdf:rest rdf:nil . _:w rdf:first oiled:p2 . _:w rdf:rest _:u . _:s owl:intersectionOf _:w . _:q owl:someValuesFrom _:s . _:y rdf:type owl:Restriction . _:y owl:onProperty oiled:r . _:a1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:c1 rdf:first oiled:p . _:c1 rdf:rest rdf:nil . _:e1 rdf:first oiled:p3 . _:e1 rdf:rest _:c1 . _:a1 owl:intersectionOf _:e1 . _:y owl:someValuesFrom _:a1 . _:g1 rdf:type owl:Restriction . _:g1 owl:onProperty oiled:r . _:g1 owl:maxCardinality "3"^^xsd:nonNegativeInteger . _:i1 rdf:first _:g1 . _:i1 rdf:rest rdf:nil . _:k1 rdf:first _:y . _:k1 rdf:rest _:i1 . _:m1 rdf:first _:q . _:m1 rdf:rest _:k1 . _:o1 rdf:first _:i . _:o1 rdf:rest _:m1 . _:q1 rdf:first _:g . _:q1 rdf:rest _:o1 . _:s1 rdf:first _:e . _:s1 rdf:rest _:q1 . _:u1 rdf:first _:c . _:u1 rdf:rest _:s1 . _:a owl:intersectionOf _:u1 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:w1 rdf:type owl:Class . _:y1 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:a2 rdf:first oiled:p5 . _:a2 rdf:rest rdf:nil . _:c2 rdf:first oiled:p4 . _:c2 rdf:rest _:a2 . _:e2 rdf:first oiled:p3 . _:e2 rdf:rest _:c2 . _:g2 rdf:first oiled:p2 . _:g2 rdf:rest _:e2 . _:y1 owl:unionOf _:g2 . _:w1 owl:complementOf _:y1 . oiled:p1 rdfs:subClassOf _:w1 . oiled:p2 rdf:type owl:Class . _:i2 rdf:type owl:Class . _:k2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:m2 rdf:first oiled:p5 . _:m2 rdf:rest rdf:nil . _:o2 rdf:first oiled:p4 . _:o2 rdf:rest _:m2 . _:q2 rdf:first oiled:p3 . _:q2 rdf:rest _:o2 . _:k2 owl:unionOf _:q2 . _:i2 owl:complementOf _:k2 . oiled:p2 rdfs:subClassOf _:i2 . oiled:p3 rdf:type owl:Class . _:s2 rdf:type owl:Class . _:u2 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w2 rdf:first oiled:p5 . _:w2 rdf:rest rdf:nil . _:y2 rdf:first oiled:p4 . _:y2 rdf:rest _:w2 . _:u2 owl:unionOf _:y2 . _:s2 owl:complementOf _:u2 . oiled:p3 rdfs:subClassOf _:s2 . oiled:p4 rdf:type owl:Class . _:a3 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:a3 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:a3 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:c3 rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 019 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest019#test>
|
|||
| DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent019>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent019"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent019> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:k rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m rdf:first oiled:p . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p1 . _:o rdf:rest _:m . _:k owl:intersectionOf _:o . _:i owl:someValuesFrom _:k . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:r . _:s rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:u rdf:first oiled:p . _:u rdf:rest rdf:nil . _:w rdf:first oiled:p2 . _:w rdf:rest _:u . _:s owl:intersectionOf _:w . _:q owl:someValuesFrom _:s . _:y rdf:type owl:Restriction . _:y owl:onProperty oiled:r . _:a1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:c1 rdf:first oiled:p . _:c1 rdf:rest rdf:nil . _:e1 rdf:first oiled:p3 . _:e1 rdf:rest _:c1 . _:a1 owl:intersectionOf _:e1 . _:y owl:someValuesFrom _:a1 . _:g1 rdf:type owl:Restriction . _:g1 owl:onProperty oiled:r . _:g1 owl:maxCardinality "3"^^xsd:nonNegativeInteger . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:r . oiled:p4 rdf:type owl:Class . _:i1 owl:someValuesFrom oiled:p4 . _:k1 rdf:first _:i1 . _:k1 rdf:rest rdf:nil . _:m1 rdf:first _:g1 . _:m1 rdf:rest _:k1 . _:o1 rdf:first _:y . _:o1 rdf:rest _:m1 . _:q1 rdf:first _:q . _:q1 rdf:rest _:o1 . _:s1 rdf:first _:i . _:s1 rdf:rest _:q1 . _:u1 rdf:first _:g . _:u1 rdf:rest _:s1 . _:w1 rdf:first _:e . _:w1 rdf:rest _:u1 . _:y1 rdf:first _:c . _:y1 rdf:rest _:w1 . _:a owl:intersectionOf _:y1 . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:a2 rdf:type owl:Class . _:c2 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:e2 rdf:first oiled:p5 . _:e2 rdf:rest rdf:nil . _:g2 rdf:first oiled:p4 . _:g2 rdf:rest _:e2 . _:i2 rdf:first oiled:p3 . _:i2 rdf:rest _:g2 . _:k2 rdf:first oiled:p2 . _:k2 rdf:rest _:i2 . _:c2 owl:unionOf _:k2 . _:a2 owl:complementOf _:c2 . oiled:p1 rdfs:subClassOf _:a2 . oiled:p2 rdf:type owl:Class . _:m2 rdf:type owl:Class . _:o2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:q2 rdf:first oiled:p5 . _:q2 rdf:rest rdf:nil . _:s2 rdf:first oiled:p4 . _:s2 rdf:rest _:q2 . _:u2 rdf:first oiled:p3 . _:u2 rdf:rest _:s2 . _:o2 owl:unionOf _:u2 . _:m2 owl:complementOf _:o2 . oiled:p2 rdfs:subClassOf _:m2 . oiled:p3 rdf:type owl:Class . _:w2 rdf:type owl:Class . _:y2 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:a3 rdf:first oiled:p5 . _:a3 rdf:rest rdf:nil . _:c3 rdf:first oiled:p4 . _:c3 rdf:rest _:a3 . _:y2 owl:unionOf _:c3 . _:w2 owl:complementOf _:y2 . oiled:p3 rdfs:subClassOf _:w2 . oiled:p4 rdf:type owl:Class . _:e3 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:e3 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:e3 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:g3 rdf:type oiled:Unsatisfiable . | |||
| DL Full | Consistent document. | 020 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest020#test>
|
|||
| DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent020>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent020"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">4</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent020> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:p4 rdf:type owl:Class . _:i owl:someValuesFrom oiled:p4 . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:r . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:o rdf:first oiled:p . _:o rdf:rest rdf:nil . _:q rdf:first oiled:p1 . _:q rdf:rest _:o . _:m owl:intersectionOf _:q . _:k owl:someValuesFrom _:m . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:r . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:w rdf:first oiled:p . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p2 . _:y rdf:rest _:w . _:u owl:intersectionOf _:y . _:s owl:someValuesFrom _:u . _:a1 rdf:type owl:Restriction . _:a1 owl:onProperty oiled:r . _:c1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:e1 rdf:first oiled:p . _:e1 rdf:rest rdf:nil . _:g1 rdf:first oiled:p3 . _:g1 rdf:rest _:e1 . _:c1 owl:intersectionOf _:g1 . _:a1 owl:someValuesFrom _:c1 . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:r . _:k1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m1 rdf:first oiled:p . _:m1 rdf:rest rdf:nil . _:o1 rdf:first oiled:p4 . _:o1 rdf:rest _:m1 . _:k1 owl:intersectionOf _:o1 . _:i1 owl:someValuesFrom _:k1 . _:q1 rdf:type owl:Restriction . _:q1 owl:onProperty oiled:r . _:q1 owl:maxCardinality "4"^^xsd:nonNegativeInteger . _:s1 rdf:first _:q1 . _:s1 rdf:rest rdf:nil . _:u1 rdf:first _:i1 . _:u1 rdf:rest _:s1 . _:w1 rdf:first _:a1 . _:w1 rdf:rest _:u1 . _:y1 rdf:first _:s . _:y1 rdf:rest _:w1 . _:a2 rdf:first _:k . _:a2 rdf:rest _:y1 . _:c2 rdf:first _:i . _:c2 rdf:rest _:a2 . _:e2 rdf:first _:g . _:e2 rdf:rest _:c2 . _:g2 rdf:first _:e . _:g2 rdf:rest _:e2 . _:i2 rdf:first _:c . _:i2 rdf:rest _:g2 . _:a owl:intersectionOf _:i2 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:k2 rdf:type owl:Class . _:m2 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:o2 rdf:first oiled:p5 . _:o2 rdf:rest rdf:nil . _:q2 rdf:first oiled:p4 . _:q2 rdf:rest _:o2 . _:s2 rdf:first oiled:p3 . _:s2 rdf:rest _:q2 . _:u2 rdf:first oiled:p2 . _:u2 rdf:rest _:s2 . _:m2 owl:unionOf _:u2 . _:k2 owl:complementOf _:m2 . oiled:p1 rdfs:subClassOf _:k2 . oiled:p2 rdf:type owl:Class . _:w2 rdf:type owl:Class . _:y2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:a3 rdf:first oiled:p5 . _:a3 rdf:rest rdf:nil . _:c3 rdf:first oiled:p4 . _:c3 rdf:rest _:a3 . _:e3 rdf:first oiled:p3 . _:e3 rdf:rest _:c3 . _:y2 owl:unionOf _:e3 . _:w2 owl:complementOf _:y2 . oiled:p2 rdfs:subClassOf _:w2 . oiled:p3 rdf:type owl:Class . _:g3 rdf:type owl:Class . _:i3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:k3 rdf:first oiled:p5 . _:k3 rdf:rest rdf:nil . _:m3 rdf:first oiled:p4 . _:m3 rdf:rest _:k3 . _:i3 owl:unionOf _:m3 . _:g3 owl:complementOf _:i3 . oiled:p3 rdfs:subClassOf _:g3 . oiled:p4 rdf:type owl:Class . _:o3 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:o3 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:o3 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:q3 rdf:type oiled:Satisfiable . | |||
| DL Full | Consistent document. | 021 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest021#test>
|
|||
| DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent021>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent021"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">5</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent021> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:p4 rdf:type owl:Class . _:i owl:someValuesFrom oiled:p4 . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:r . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:o rdf:first oiled:p . _:o rdf:rest rdf:nil . _:q rdf:first oiled:p1 . _:q rdf:rest _:o . _:m owl:intersectionOf _:q . _:k owl:someValuesFrom _:m . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:r . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:w rdf:first oiled:p . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p2 . _:y rdf:rest _:w . _:u owl:intersectionOf _:y . _:s owl:someValuesFrom _:u . _:a1 rdf:type owl:Restriction . _:a1 owl:onProperty oiled:r . _:c1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:e1 rdf:first oiled:p . _:e1 rdf:rest rdf:nil . _:g1 rdf:first oiled:p3 . _:g1 rdf:rest _:e1 . _:c1 owl:intersectionOf _:g1 . _:a1 owl:someValuesFrom _:c1 . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:r . _:k1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m1 rdf:first oiled:p . _:m1 rdf:rest rdf:nil . _:o1 rdf:first oiled:p4 . _:o1 rdf:rest _:m1 . _:k1 owl:intersectionOf _:o1 . _:i1 owl:someValuesFrom _:k1 . _:q1 rdf:type owl:Restriction . _:q1 owl:onProperty oiled:r . _:q1 owl:maxCardinality "5"^^xsd:nonNegativeInteger . _:s1 rdf:type owl:Restriction . _:s1 owl:onProperty oiled:r . oiled:p5 rdf:type owl:Class . _:s1 owl:someValuesFrom oiled:p5 . _:u1 rdf:type owl:Restriction . _:u1 owl:onProperty oiled:r . _:w1 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:y1 rdf:first oiled:p . _:y1 rdf:rest rdf:nil . _:a2 rdf:first oiled:p5 . _:a2 rdf:rest _:y1 . _:w1 owl:intersectionOf _:a2 . _:u1 owl:someValuesFrom _:w1 . _:c2 rdf:first _:u1 . _:c2 rdf:rest rdf:nil . _:e2 rdf:first _:s1 . _:e2 rdf:rest _:c2 . _:g2 rdf:first _:q1 . _:g2 rdf:rest _:e2 . _:i2 rdf:first _:i1 . _:i2 rdf:rest _:g2 . _:k2 rdf:first _:a1 . _:k2 rdf:rest _:i2 . _:m2 rdf:first _:s . _:m2 rdf:rest _:k2 . _:o2 rdf:first _:k . _:o2 rdf:rest _:m2 . _:q2 rdf:first _:i . _:q2 rdf:rest _:o2 . _:s2 rdf:first _:g . _:s2 rdf:rest _:q2 . _:u2 rdf:first _:e . _:u2 rdf:rest _:s2 . _:w2 rdf:first _:c . _:w2 rdf:rest _:u2 . _:a owl:intersectionOf _:w2 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:y2 rdf:type owl:Class . _:a3 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:c3 rdf:first oiled:p5 . _:c3 rdf:rest rdf:nil . _:e3 rdf:first oiled:p4 . _:e3 rdf:rest _:c3 . _:g3 rdf:first oiled:p3 . _:g3 rdf:rest _:e3 . _:i3 rdf:first oiled:p2 . _:i3 rdf:rest _:g3 . _:a3 owl:unionOf _:i3 . _:y2 owl:complementOf _:a3 . oiled:p1 rdfs:subClassOf _:y2 . oiled:p2 rdf:type owl:Class . _:k3 rdf:type owl:Class . _:m3 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:o3 rdf:first oiled:p5 . _:o3 rdf:rest rdf:nil . _:q3 rdf:first oiled:p4 . _:q3 rdf:rest _:o3 . _:s3 rdf:first oiled:p3 . _:s3 rdf:rest _:q3 . _:m3 owl:unionOf _:s3 . _:k3 owl:complementOf _:m3 . oiled:p2 rdfs:subClassOf _:k3 . oiled:p3 rdf:type owl:Class . _:u3 rdf:type owl:Class . _:w3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:y3 rdf:first oiled:p5 . _:y3 rdf:rest rdf:nil . _:a4 rdf:first oiled:p4 . _:a4 rdf:rest _:y3 . _:w3 owl:unionOf _:a4 . _:u3 owl:complementOf _:w3 . oiled:p3 rdfs:subClassOf _:u3 . oiled:p4 rdf:type owl:Class . _:c4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:c4 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:c4 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:e4 rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 022 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest022#test>
|
|||
| DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent022>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent022"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">4</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:unionOf>
</owl:Class>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent022> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:p4 rdf:type owl:Class . _:i owl:someValuesFrom oiled:p4 . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:r . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:o rdf:first oiled:p . _:o rdf:rest rdf:nil . _:q rdf:first oiled:p1 . _:q rdf:rest _:o . _:m owl:intersectionOf _:q . _:k owl:someValuesFrom _:m . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:r . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:w rdf:first oiled:p . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p2 . _:y rdf:rest _:w . _:u owl:intersectionOf _:y . _:s owl:someValuesFrom _:u . _:a1 rdf:type owl:Restriction . _:a1 owl:onProperty oiled:r . _:c1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:e1 rdf:first oiled:p . _:e1 rdf:rest rdf:nil . _:g1 rdf:first oiled:p3 . _:g1 rdf:rest _:e1 . _:c1 owl:intersectionOf _:g1 . _:a1 owl:someValuesFrom _:c1 . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:r . _:k1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m1 rdf:first oiled:p . _:m1 rdf:rest rdf:nil . _:o1 rdf:first oiled:p4 . _:o1 rdf:rest _:m1 . _:k1 owl:intersectionOf _:o1 . _:i1 owl:someValuesFrom _:k1 . _:q1 rdf:type owl:Restriction . _:q1 owl:onProperty oiled:r . _:q1 owl:maxCardinality "4"^^xsd:nonNegativeInteger . _:s1 rdf:type owl:Restriction . _:s1 owl:onProperty oiled:r . oiled:p5 rdf:type owl:Class . _:s1 owl:someValuesFrom oiled:p5 . _:u1 rdf:first _:s1 . _:u1 rdf:rest rdf:nil . _:w1 rdf:first _:q1 . _:w1 rdf:rest _:u1 . _:y1 rdf:first _:i1 . _:y1 rdf:rest _:w1 . _:a2 rdf:first _:a1 . _:a2 rdf:rest _:y1 . _:c2 rdf:first _:s . _:c2 rdf:rest _:a2 . _:e2 rdf:first _:k . _:e2 rdf:rest _:c2 . _:g2 rdf:first _:i . _:g2 rdf:rest _:e2 . _:i2 rdf:first _:g . _:i2 rdf:rest _:g2 . _:k2 rdf:first _:e . _:k2 rdf:rest _:i2 . _:m2 rdf:first _:c . _:m2 rdf:rest _:k2 . _:a owl:intersectionOf _:m2 . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:o2 rdf:type owl:Class . _:q2 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:s2 rdf:first oiled:p5 . _:s2 rdf:rest rdf:nil . _:u2 rdf:first oiled:p4 . _:u2 rdf:rest _:s2 . _:w2 rdf:first oiled:p3 . _:w2 rdf:rest _:u2 . _:y2 rdf:first oiled:p2 . _:y2 rdf:rest _:w2 . _:q2 owl:unionOf _:y2 . _:o2 owl:complementOf _:q2 . oiled:p1 rdfs:subClassOf _:o2 . oiled:p2 rdf:type owl:Class . _:a3 rdf:type owl:Class . _:c3 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:e3 rdf:first oiled:p5 . _:e3 rdf:rest rdf:nil . _:g3 rdf:first oiled:p4 . _:g3 rdf:rest _:e3 . _:i3 rdf:first oiled:p3 . _:i3 rdf:rest _:g3 . _:c3 owl:unionOf _:i3 . _:a3 owl:complementOf _:c3 . oiled:p2 rdfs:subClassOf _:a3 . oiled:p3 rdf:type owl:Class . _:k3 rdf:type owl:Class . _:m3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:o3 rdf:first oiled:p5 . _:o3 rdf:rest rdf:nil . _:q3 rdf:first oiled:p4 . _:q3 rdf:rest _:o3 . _:m3 owl:unionOf _:q3 . _:k3 owl:complementOf _:m3 . oiled:p3 rdfs:subClassOf _:k3 . oiled:p4 rdf:type owl:Class . _:s3 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:s3 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:s3 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:u3 rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 023 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest023#test>
|
|||
| DL Test: t4.1 Dynamic blocking example | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent023>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent023"
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#Unsatisfiable">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invP"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invS"/>
<owl:allValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:complementOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#p"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#p"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent023> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . oiled:a rdf:type owl:Class . oiled:Unsatisfiable rdfs:subClassOf oiled:a . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:s . _:c rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . owl:Thing rdf:type owl:Class . _:e owl:someValuesFrom owl:Thing . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:p . owl:Thing rdf:type owl:Class . _:g owl:someValuesFrom owl:Thing . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:i owl:allValuesFrom oiled:c . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:p . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:r . owl:Thing rdf:type owl:Class . _:m owl:someValuesFrom owl:Thing . _:k owl:allValuesFrom _:m . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:p . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:p . owl:Thing rdf:type owl:Class . _:q owl:someValuesFrom owl:Thing . _:o owl:allValuesFrom _:q . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:p . _:u rdf:type owl:Restriction . _:u owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:u owl:allValuesFrom oiled:c . _:s owl:allValuesFrom _:u . _:w rdf:first _:s . _:w rdf:rest rdf:nil . _:y rdf:first _:o . _:y rdf:rest _:w . _:a1 rdf:first _:k . _:a1 rdf:rest _:y . _:c1 rdf:first _:i . _:c1 rdf:rest _:a1 . _:e1 rdf:first _:g . _:e1 rdf:rest _:c1 . _:g1 rdf:first _:e . _:g1 rdf:rest _:e1 . _:c owl:intersectionOf _:g1 . _:a owl:someValuesFrom _:c . oiled:Unsatisfiable rdfs:subClassOf _:a . oiled:a rdf:type owl:Class . oiled:c rdf:type owl:Class . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:invR . _:k1 rdf:type owl:Restriction . _:k1 owl:onProperty oiled:invP . _:m1 rdf:type owl:Restriction . _:m1 owl:onProperty oiled:invS . _:o1 rdf:type owl:Class . oiled:a rdf:type owl:Class . _:o1 owl:complementOf oiled:a . _:m1 owl:allValuesFrom _:o1 . _:k1 owl:allValuesFrom _:m1 . _:i1 owl:allValuesFrom _:k1 . oiled:c owl:equivalentClass _:i1 . oiled:invP rdf:type owl:ObjectProperty . oiled:invP owl:inverseOf oiled:p . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:p rdf:type owl:ObjectProperty . oiled:p rdf:type owl:TransitiveProperty . oiled:r rdf:type owl:ObjectProperty . oiled:s rdf:type owl:ObjectProperty . _:q1 rdf:type oiled:Unsatisfiable . | |||
| DL Full | Consistent document. | 024 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest024#test>
|
|||
| DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent024>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent024"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent024> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:a rdf:type owl:Class . _:c owl:complementOf oiled:a . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . oiled:a rdf:type owl:Class . _:e owl:someValuesFrom oiled:a . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:invR . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invF . oiled:a rdf:type owl:Class . _:i owl:someValuesFrom oiled:a . _:g owl:someValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Satisfiable owl:equivalentClass _:a . oiled:a rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdfs:subPropertyOf oiled:r . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:f . _:q owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:q . _:s rdf:type oiled:Satisfiable . | |||
| DL Full | Consistent document. | 025 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest025#test>
|
|||
| DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent025>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent025"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent025> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:a rdf:type owl:Class . _:c owl:complementOf oiled:a . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . oiled:a rdf:type owl:Class . _:e owl:someValuesFrom oiled:a . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:invR . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invF . oiled:a rdf:type owl:Class . _:i owl:someValuesFrom oiled:a . _:g owl:someValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Satisfiable owl:equivalentClass _:a . oiled:a rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdfs:subPropertyOf oiled:r . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:q rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 026 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest026#test>
|
|||
| DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent026>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent026"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#d">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:complementOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent026> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:c rdf:type owl:Class . _:c owl:complementOf oiled:c . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . oiled:d rdf:type owl:Class . _:e owl:someValuesFrom oiled:d . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:invR . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invF . oiled:d rdf:type owl:Class . _:i owl:someValuesFrom oiled:d . _:g owl:allValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:q rdf:type owl:Class . oiled:c rdf:type owl:Class . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:f . _:u rdf:type owl:Class . oiled:c rdf:type owl:Class . _:u owl:complementOf oiled:c . _:s owl:someValuesFrom _:u . _:w rdf:first _:s . _:w rdf:rest rdf:nil . _:y rdf:first oiled:c . _:y rdf:rest _:w . _:q owl:intersectionOf _:y . oiled:d owl:equivalentClass _:q . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdfs:subPropertyOf oiled:r . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:a1 rdf:type owl:Restriction . _:a1 owl:onProperty oiled:f . _:a1 owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:a1 . _:c1 rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 027 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest027#test>
|
|||
| DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent027>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent027"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#d">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:complementOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent027> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:c rdf:type owl:Class . _:c owl:complementOf oiled:c . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . oiled:d rdf:type owl:Class . _:e owl:someValuesFrom oiled:d . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:invR . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invF . oiled:d rdf:type owl:Class . _:i owl:someValuesFrom oiled:d . _:g owl:allValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:q rdf:type owl:Class . oiled:c rdf:type owl:Class . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:f . _:u rdf:type owl:Class . oiled:c rdf:type owl:Class . _:u owl:complementOf oiled:c . _:s owl:someValuesFrom _:u . _:w rdf:first _:s . _:w rdf:rest rdf:nil . _:y rdf:first oiled:c . _:y rdf:rest _:w . _:q owl:intersectionOf _:y . oiled:d owl:equivalentClass _:q . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdfs:subPropertyOf oiled:r . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:a1 rdf:type oiled:Unsatisfiable . | |||
| DL Full | Consistent document. | 028 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest028#test>
|
|||
| DL Test: t7.1 | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent028>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent028"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:unionOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent028> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invR . _:k rdf:type owl:Class . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:m owl:complementOf oiled:p1 . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:o owl:allValuesFrom oiled:p1 . _:q rdf:first _:o . _:q rdf:rest rdf:nil . _:s rdf:first _:m . _:s rdf:rest _:q . _:k owl:unionOf _:s . _:i owl:allValuesFrom _:k . _:u rdf:first _:i . _:u rdf:rest rdf:nil . _:w rdf:first oiled:p1 . _:w rdf:rest _:u . _:g owl:intersectionOf _:w . _:e owl:someValuesFrom _:g . _:c owl:someValuesFrom _:e . _:y rdf:first _:c . _:y rdf:rest rdf:nil . _:a1 rdf:first oiled:p1 . _:a1 rdf:rest _:y . _:a owl:intersectionOf _:a1 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:c1 rdf:type owl:Restriction . _:c1 owl:onProperty oiled:f . _:c1 owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:c1 . _:e1 rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 029 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest029#test>
|
|||
| DL Test: t7.2 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent029>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent029"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:complementOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent029> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invR . _:k rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:k owl:complementOf oiled:p1 . _:i owl:allValuesFrom _:k . _:m rdf:first _:i . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p1 . _:o rdf:rest _:m . _:g owl:intersectionOf _:o . _:e owl:someValuesFrom _:g . _:c owl:someValuesFrom _:e . _:q rdf:first _:c . _:q rdf:rest rdf:nil . _:s rdf:first oiled:p1 . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:u rdf:type owl:Restriction . _:u owl:onProperty oiled:f . _:u owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:u . _:w rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 030 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest030#test>
|
|||
| DL Test: t7.3 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent030>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent030"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:complementOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' >
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent030> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:f . _:c rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:f . _:i rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i owl:complementOf oiled:p1 . _:g owl:someValuesFrom _:i . _:e owl:someValuesFrom _:g . _:k rdf:first _:e . _:k rdf:rest rdf:nil . _:m rdf:first oiled:p1 . _:m rdf:rest _:k . _:c owl:intersectionOf _:m . _:a owl:someValuesFrom _:c . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:f . _:o owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:o . _:q rdf:type oiled:Unsatisfiable . | |||
| DL Full | Consistent document. | 031 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest031#test>
|
|||
| DL Test: t7f.1 | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent031>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent031"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:unionOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent031> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invR . _:k rdf:type owl:Class . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:m owl:complementOf oiled:p1 . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:o owl:allValuesFrom oiled:p1 . _:q rdf:first _:o . _:q rdf:rest rdf:nil . _:s rdf:first _:m . _:s rdf:rest _:q . _:k owl:unionOf _:s . _:i owl:allValuesFrom _:k . _:u rdf:first _:i . _:u rdf:rest rdf:nil . _:w rdf:first oiled:p1 . _:w rdf:rest _:u . _:g owl:intersectionOf _:w . _:e owl:someValuesFrom _:g . _:c owl:someValuesFrom _:e . _:y rdf:first _:c . _:y rdf:rest rdf:nil . _:a1 rdf:first oiled:p1 . _:a1 rdf:rest _:y . _:a owl:intersectionOf _:a1 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:c1 rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 032 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest032#test>
|
|||
| DL Test: t7f.2 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent032>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent032"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:complementOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent032> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invR . _:k rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:k owl:complementOf oiled:p1 . _:i owl:allValuesFrom _:k . _:m rdf:first _:i . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p1 . _:o rdf:rest _:m . _:g owl:intersectionOf _:o . _:e owl:someValuesFrom _:g . _:c owl:someValuesFrom _:e . _:q rdf:first _:c . _:q rdf:rest rdf:nil . _:s rdf:first oiled:p1 . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:u rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 033 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest033#test>
|
|||
| DL Test: t7f.3 | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent033>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent033"
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#Unsatisfiable">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/>
<owl:allValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:complementOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/inconsistent033> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:f . _:c rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:f . _:i rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i owl:complementOf oiled:p1 . _:g owl:someValuesFrom _:i . _:e owl:allValuesFrom _:g . _:k rdf:first _:e . _:k rdf:rest rdf:nil . _:m rdf:first oiled:p1 . _:m rdf:rest _:k . _:c owl:intersectionOf _:m . _:a owl:someValuesFrom _:c . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:o rdf:type oiled:Unsatisfiable . | |||
| DL Full | Consistent document. | 034 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest034#test>
|
|||
| DL Test: t8.1 | |||
| N3 format is informative. | |||
| DL | Consistent:
<description-logic/consistent034>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent034"
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#Satisfiable">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<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#p"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/>
<owl:allValuesFrom>
<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#p"/>
</owl:complementOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</owl:allValuesFrom>
</owl:Restriction>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r1"/>
<rdf:Description>
<rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/>
</rdf:Description>
</rdf:RDF> | |||
<description-logic/consistent034> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invR . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r1 . oiled:p rdf:type owl:Class . _:g owl:allValuesFrom oiled:p . _:e owl:allValuesFrom _:g . _:c owl:someValuesFrom _:e . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:invR . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:r1 . _:o rdf:type owl:Class . oiled:p rdf:type owl:Class . _:o owl:complementOf oiled:p . _:m owl:allValuesFrom _:o . _:k owl:allValuesFrom _:m . _:i owl:someValuesFrom _:k . _:q rdf:first _:i . _:q rdf:rest rdf:nil . _:s rdf:first _:c . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . oiled:r1 rdf:type owl:ObjectProperty . _:u rdf:type oiled:Satisfiable . | |||
| DL Full | Inconsistent document. | 035 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest035#test>
|
|||
| A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2. | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent035>
| ||
<rdf:RDF
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#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent035"
xmlns:oiled="http://oiled.man.example.net/test#">
<owl:Ontology rdf:about="">
<rdfs:comment>An ontology illustrating the use of a spy point that
limits the cardinality of the interpretation domain to having only two
objects.</rdfs:comment>
</owl:Ontology>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:minCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#invP"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP"/>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/>
<owl:someValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="http://oiled.man.example.net/test#spy"/>
</owl:oneOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<rdf:Description rdf:about="http://oiled.man.example.net/test#spy">
<rdf:type>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invP"/>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:maxCardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
<oiled:Unsatisfiable/>
</rdf:RDF> | |||
<description-logic/inconsistent035> rdf:type owl:Ontology . <description-logic/inconsistent035> rdfs:comment """An ontology illustrating the use of a spy point that limits the cardinality of the interpretation domain to having only two objects.""" . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:r . _:a owl:minCardinality "3"^^xsd:nonNegativeInteger . oiled:Unsatisfiable rdfs:subClassOf _:a . oiled:p rdf:type owl:ObjectProperty . oiled:p owl:inverseOf oiled:invP . oiled:r rdf:type owl:ObjectProperty . oiled:invP rdf:type owl:ObjectProperty . owl:Thing rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:p . _:e rdf:type owl:Class . oiled:spy rdf:type owl:Thing . _:g rdf:first oiled:spy . _:g rdf:rest rdf:nil . _:e owl:oneOf _:g . _:c owl:someValuesFrom _:e . owl:Thing rdfs:subClassOf _:c . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invP . _:i owl:maxCardinality "2"^^xsd:nonNegativeInteger . oiled:spy rdf:type _:i . _:k rdf:type oiled:Unsatisfiable . | |||
| DL Full | Inconsistent document. | 040 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest040#test>
|
|||
| This kind of pattern comes up a lot in more complex ontologies. Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://example.org/factkb#> . | |||
| DL | Inconsistent:
<description-logic/inconsistent040>
| ||
<rdf:RDF xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:eg="http://example.org/factkb#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent040"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://example.org/factkb#A"/>
<owl:Class rdf:about="http://example.org/factkb#B"/>
<owl:Class rdf:about="http://example.org/factkb#A0"/>
<owl:Class rdf:about="http://example.org/factkb#A1"/>
<owl:Class rdf:about="http://example.org/factkb#A2"/>
<owl:Class rdf:about="http://example.org/factkb#A3"/>
<owl:Class rdf:about="http://example.org/factkb#A4"/>
<owl:Class rdf:about="http://example.org/factkb#A5"/>
<owl:Class rdf:about="http://example.org/factkb#A6"/>
<owl:Class rdf:about="http://example.org/factkb#A7"/>
<owl:Class rdf:about="http://example.org/factkb#A8"/>
<owl:Class rdf:about="http://example.org/factkb#A9"/>
<owl:Class rdf:about="http://example.org/factkb#B0"/>
<owl:Class rdf:about="http://example.org/factkb#B1"/>
<owl:Class rdf:about="http://example.org/factkb#B2"/>
<owl:Class rdf:about="http://example.org/factkb#B3"/>
<owl:Class rdf:about="http://example.org/factkb#B4"/>
<owl:Class rdf:about="http://example.org/factkb#B5"/>
<owl:Class rdf:about="http://example.org/factkb#B6"/>
<owl:Class rdf:about="http://example.org/factkb#B7"/>
<owl:Class rdf:about="http://example.org/factkb#B8"/>
<owl:Class rdf:about="http://example.org/factkb#B9"/>
<owl:Class rdf:about="http://example.org/factkb#C1">
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A0"/>
<owl:Class rdf:about="http://example.org/factkb#B0"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A1"/>
<owl:Class rdf:about="http://example.org/factkb#B1"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A2"/>
<owl:Class rdf:about="http://example.org/factkb#B2"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A3"/>
<owl:Class rdf:about="http://example.org/factkb#B3"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A4"/>
<owl:Class rdf:about="http://example.org/factkb#B4"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A5"/>
<owl:Class rdf:about="http://example.org/factkb#B5"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A6"/>
<owl:Class rdf:about="http://example.org/factkb#B6"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A7"/>
<owl:Class rdf:about="http://example.org/factkb#B7"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A8"/>
<owl:Class rdf:about="http://example.org/factkb#B8"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A9"/>
<owl:Class rdf:about="http://example.org/factkb#B9"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A10"/>
<owl:Class rdf:about="http://example.org/factkb#B10"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A11"/>
<owl:Class rdf:about="http://example.org/factkb#B11"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A12"/>
<owl:Class rdf:about="http://example.org/factkb#B12"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A13"/>
<owl:Class rdf:about="http://example.org/factkb#B13"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A14"/>
<owl:Class rdf:about="http://example.org/factkb#B14"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A15"/>
<owl:Class rdf:about="http://example.org/factkb#B15"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A16"/>
<owl:Class rdf:about="http://example.org/factkb#B16"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A17"/>
<owl:Class rdf:about="http://example.org/factkb#B17"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A18"/>
<owl:Class rdf:about="http://example.org/factkb#B18"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A19"/>
<owl:Class rdf:about="http://example.org/factkb#B19"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A20"/>
<owl:Class rdf:about="http://example.org/factkb#B20"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A21"/>
<owl:Class rdf:about="http://example.org/factkb#B21"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A22"/>
<owl:Class rdf:about="http://example.org/factkb#B22"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A23"/>
<owl:Class rdf:about="http://example.org/factkb#B23"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A24"/>
<owl:Class rdf:about="http://example.org/factkb#B24"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A25"/>
<owl:Class rdf:about="http://example.org/factkb#B25"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A26"/>
<owl:Class rdf:about="http://example.org/factkb#B26"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A27"/>
<owl:Class rdf:about="http://example.org/factkb#B27"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A28"/>
<owl:Class rdf:about="http://example.org/factkb#B28"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A29"/>
<owl:Class rdf:about="http://example.org/factkb#B29"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A30"/>
<owl:Class rdf:about="http://example.org/factkb#B30"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A31"/>
<owl:Class rdf:about="http://example.org/factkb#B31"/>
</owl:unionOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://example.org/factkb#C2">
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A"/>
<owl:Class rdf:about="http://example.org/factkb#B"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#A"/>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://example.org/factkb#B"/>
</owl:complementOf>
</owl:Class>
</owl:unionOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://example.org/factkb#C3">
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://example.org/factkb#A"/>
</owl:complementOf>
</owl:Class>
<owl:Class rdf:about="http://example.org/factkb#B"/>
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://example.org/factkb#A"/>
</owl:complementOf>
</owl:Class>
<owl:Class>
<owl:complementOf>
<owl:Class rdf:about="http://example.org/factkb#B"/>
</owl:complementOf>
</owl:Class>
</owl:unionOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://example.org/factkb#C4">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://example.org/factkb#R"/>
<owl:someValuesFrom>
<owl:Class rdf:about="http://example.org/factkb#C2"/>
</owl:someValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://example.org/factkb#C5">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://example.org/factkb#R"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://example.org/factkb#C3"/>
</owl:allValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://example.org/factkb#A10"/>
<owl:Class rdf:about="http://example.org/factkb#A11"/>
<owl:Class rdf:about="http://example.org/factkb#A12"/>
<owl:Class rdf:about="http://example.org/factkb#A13"/>
<owl:Class rdf:about="http://example.org/factkb#A14"/>
<owl:Class rdf:about="http://example.org/factkb#A15"/>
<owl:Class rdf:about="http://example.org/factkb#A16"/>
<owl:Class rdf:about="http://example.org/factkb#A17"/>
<owl:Class rdf:about="http://example.org/factkb#A18"/>
<owl:Class rdf:about="http://example.org/factkb#A19"/>
<owl:Class rdf:about="http://example.org/factkb#A20"/>
<owl:Class rdf:about="http://example.org/factkb#A21"/>
<owl:Class rdf:about="http://example.org/factkb#A22"/>
<owl:Class rdf:about="http://example.org/factkb#A23"/>
<owl:Class rdf:about="http://example.org/factkb#A24"/>
<owl:Class rdf:about="http://example.org/factkb#A25"/>
<owl:Class rdf:about="http://example.org/factkb#A26"/>
<owl:Class rdf:about="http://example.org/factkb#A27"/>
<owl:Class rdf:about="http://example.org/factkb#A28"/>
<owl:Class rdf:about="http://example.org/factkb#A29"/>
<owl:Class rdf:about="http://example.org/factkb#A30"/>
<owl:Class rdf:about="http://example.org/factkb#A31"/>
<owl:Class rdf:about="http://example.org/factkb#B10"/>
<owl:Class rdf:about="http://example.org/factkb#B11"/>
<owl:Class rdf:about="http://example.org/factkb#B12"/>
<owl:Class rdf:about="http://example.org/factkb#B13"/>
<owl:Class rdf:about="http://example.org/factkb#B14"/>
<owl:Class rdf:about="http://example.org/factkb#B15"/>
<owl:Class rdf:about="http://example.org/factkb#B16"/>
<owl:Class rdf:about="http://example.org/factkb#B17"/>
<owl:Class rdf:about="http://example.org/factkb#B18"/>
<owl:Class rdf:about="http://example.org/factkb#B19"/>
<owl:Class rdf:about="http://example.org/factkb#B20"/>
<owl:Class rdf:about="http://example.org/factkb#B21"/>
<owl:Class rdf:about="http://example.org/factkb#B22"/>
<owl:Class rdf:about="http://example.org/factkb#B23"/>
<owl:Class rdf:about="http://example.org/factkb#B24"/>
<owl:Class rdf:about="http://example.org/factkb#B25"/>
<owl:Class rdf:about="http://example.org/factkb#B26"/>
<owl:Class rdf:about="http://example.org/factkb#B27"/>
<owl:Class rdf:about="http://example.org/factkb#B28"/>
<owl:Class rdf:about="http://example.org/factkb#B29"/>
<owl:Class rdf:about="http://example.org/factkb#B30"/>
<owl:Class rdf:about="http://example.org/factkb#B31"/>
<owl:Class rdf:about="http://example.org/factkb#TEST">
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://example.org/factkb#C1"/>
<owl:Class rdf:about="http://example.org/factkb#C4"/>
<owl:Class rdf:about="http://example.org/factkb#C5"/>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:about="http://example.org/factkb#R"/>
<eg:TEST/>
</rdf:RDF> | |||
<description-logic/inconsistent040> rdf:type owl:Ontology . eg:A rdf:type owl:Class . eg:B rdf:type owl:Class . eg:A0 rdf:type owl:Class . eg:A1 rdf:type owl:Class . eg:A2 rdf:type owl:Class . eg:A3 rdf:type owl:Class . eg:A4 rdf:type owl:Class . eg:A5 rdf:type owl:Class . eg:A6 rdf:type owl:Class . eg:A7 rdf:type owl:Class . eg:A8 rdf:type owl:Class . eg:A9 rdf:type owl:Class . eg:B0 rdf:type owl:Class . eg:B1 rdf:type owl:Class . eg:B2 rdf:type owl:Class . eg:B3 rdf:type owl:Class . eg:B4 rdf:type owl:Class . eg:B5 rdf:type owl:Class . eg:B6 rdf:type owl:Class . eg:B7 rdf:type owl:Class . eg:B8 rdf:type owl:Class . eg:B9 rdf:type owl:Class . eg:C1 rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . eg:A0 rdf:type owl:Class . eg:B0 rdf:type owl:Class . _:e rdf:first eg:B0 . _:e rdf:rest rdf:nil . _:g rdf:first eg:A0 . _:g rdf:rest _:e . _:c owl:unionOf _:g . _:i rdf:type owl:Class . eg:A1 rdf:type owl:Class . eg:B1 rdf:type owl:Class . _:k rdf:first eg:B1 . _:k rdf:rest rdf:nil . _:m rdf:first eg:A1 . _:m rdf:rest _:k . _:i owl:unionOf _:m . _:o rdf:type owl:Class . eg:A2 rdf:type owl:Class . eg:B2 rdf:type owl:Class . _:q rdf:first eg:B2 . _:q rdf:rest rdf:nil . _:s rdf:first eg:A2 . _:s rdf:rest _:q . _:o owl:unionOf _:s . _:u rdf:type owl:Class . eg:A3 rdf:type owl:Class . eg:B3 rdf:type owl:Class . _:w rdf:first eg:B3 . _:w rdf:rest rdf:nil . _:y rdf:first eg:A3 . _:y rdf:rest _:w . _:u owl:unionOf _:y . _:a1 rdf:type owl:Class . eg:A4 rdf:type owl:Class . eg:B4 rdf:type owl:Class . _:c1 rdf:first eg:B4 . _:c1 rdf:rest rdf:nil . _:e1 rdf:first eg:A4 . _:e1 rdf:rest _:c1 . _:a1 owl:unionOf _:e1 . _:g1 rdf:type owl:Class . eg:A5 rdf:type owl:Class . eg:B5 rdf:type owl:Class . _:i1 rdf:first eg:B5 . _:i1 rdf:rest rdf:nil . _:k1 rdf:first eg:A5 . _:k1 rdf:rest _:i1 . _:g1 owl:unionOf _:k1 . _:m1 rdf:type owl:Class . eg:A6 rdf:type owl:Class . eg:B6 rdf:type owl:Class . _:o1 rdf:first eg:B6 . _:o1 rdf:rest rdf:nil . _:q1 rdf:first eg:A6 . _:q1 rdf:rest _:o1 . _:m1 owl:unionOf _:q1 . _:s1 rdf:type owl:Class . eg:A7 rdf:type owl:Class . eg:B7 rdf:type owl:Class . _:u1 rdf:first eg:B7 . _:u1 rdf:rest rdf:nil . _:w1 rdf:first eg:A7 . _:w1 rdf:rest _:u1 . _:s1 owl:unionOf _:w1 . _:y1 rdf:type owl:Class . eg:A8 rdf:type owl:Class . eg:B8 rdf:type owl:Class . _:a2 rdf:first eg:B8 . _:a2 rdf:rest rdf:nil . _:c2 rdf:first eg:A8 . _:c2 rdf:rest _:a2 . _:y1 owl:unionOf _:c2 . _:e2 rdf:type owl:Class . eg:A9 rdf:type owl:Class . eg:B9 rdf:type owl:Class . _:g2 rdf:first eg:B9 . _:g2 rdf:rest rdf:nil . _:i2 rdf:first eg:A9 . _:i2 rdf:rest _:g2 . _:e2 owl:unionOf _:i2 . _:k2 rdf:type owl:Class . eg:A10 rdf:type owl:Class . eg:B10 rdf:type owl:Class . _:m2 rdf:first eg:B10 . _:m2 rdf:rest rdf:nil . _:o2 rdf:first eg:A10 . _:o2 rdf:rest _:m2 . _:k2 owl:unionOf _:o2 . _:q2 rdf:type owl:Class . eg:A11 rdf:type owl:Class . eg:B11 rdf:type owl:Class . _:s2 rdf:first eg:B11 . _:s2 rdf:rest rdf:nil . _:u2 rdf:first eg:A11 . _:u2 rdf:rest _:s2 . _:q2 owl:unionOf _:u2 . _:w2 rdf:type owl:Class . eg:A12 rdf:type owl:Class . eg:B12 rdf:type owl:Class . _:y2 rdf:first eg:B12 . _:y2 rdf:rest rdf:nil . _:a3 rdf:first eg:A12 . _:a3 rdf:rest _:y2 . _:w2 owl:unionOf _:a3 . _:c3 rdf:type owl:Class . eg:A13 rdf:type owl:Class . eg:B13 rdf:type owl:Class . _:e3 rdf:first eg:B13 . _:e3 rdf:rest rdf:nil . _:g3 rdf:first eg:A13 . _:g3 rdf:rest _:e3 . _:c3 owl:unionOf _:g3 . _:i3 rdf:type owl:Class . eg:A14 rdf:type owl:Class . eg:B14 rdf:type owl:Class . _:k3 rdf:first eg:B14 . _:k3 rdf:rest rdf:nil . _:m3 rdf:first eg:A14 . _:m3 rdf:rest _:k3 . _:i3 owl:unionOf _:m3 . _:o3 rdf:type owl:Class . eg:A15 rdf:type owl:Class . eg:B15 rdf:type owl:Class . _:q3 rdf:first eg:B15 . _:q3 rdf:rest rdf:nil . _:s3 rdf:first eg:A15 . _:s3 rdf:rest _:q3 . _:o3 owl:unionOf _:s3 . _:u3 rdf:type owl:Class . eg:A16 rdf:type owl:Class . eg:B16 rdf:type owl:Class . _:w3 rdf:first eg:B16 . _:w3 rdf:rest rdf:nil . _:y3 rdf:first eg:A16 . _:y3 rdf:rest _:w3 . _:u3 owl:unionOf _:y3 . _:a4 rdf:type owl:Class . eg:A17 rdf:type owl:Class . eg:B17 rdf:type owl:Class . _:c4 rdf:first eg:B17 . _:c4 rdf:rest rdf:nil . _:e4 rdf:first eg:A17 . _:e4 rdf:rest _:c4 . _:a4 owl:unionOf _:e4 . _:g4 rdf:type owl:Class . eg:A18 rdf:type owl:Class . eg:B18 rdf:type owl:Class . _:i4 rdf:first eg:B18 . _:i4 rdf:rest rdf:nil . _:k4 rdf:first eg:A18 . _:k4 rdf:rest _:i4 . _:g4 owl:unionOf _:k4 . _:m4 rdf:type owl:Class . eg:A19 rdf:type owl:Class . eg:B19 rdf:type owl:Class . _:o4 rdf:first eg:B19 . _:o4 rdf:rest rdf:nil . _:q4 rdf:first eg:A19 . _:q4 rdf:rest _:o4 . _:m4 owl:unionOf _:q4 . _:s4 rdf:type owl:Class . eg:A20 rdf:type owl:Class . eg:B20 rdf:type owl:Class . _:u4 rdf:first eg:B20 . _:u4 rdf:rest rdf:nil . _:w4 rdf:first eg:A20 . _:w4 rdf:rest _:u4 . _:s4 owl:unionOf _:w4 . _:y4 rdf:type owl:Class . eg:A21 rdf:type owl:Class . eg:B21 rdf:type owl:Class . _:a5 rdf:first eg:B21 . _:a5 rdf:rest rdf:nil . _:c5 rdf:first eg:A21 . _:c5 rdf:rest _:a5 . _:y4 owl:unionOf _:c5 . _:e5 rdf:type owl:Class . eg:A22 rdf:type owl:Class . eg:B22 rdf:type owl:Class . _:g5 rdf:first eg:B22 . _:g5 rdf:rest rdf:nil . _:i5 rdf:first eg:A22 . _:i5 rdf:rest _:g5 . _:e5 owl:unionOf _:i5 . _:k5 rdf:type owl:Class . eg:A23 rdf:type owl:Class . eg:B23 rdf:type owl:Class . _:m5 rdf:first eg:B23 . _:m5 rdf:rest rdf:nil . _:o5 rdf:first eg:A23 . _:o5 rdf:rest _:m5 . _:k5 owl:unionOf _:o5 . _:q5 rdf:type owl:Class . eg:A24 rdf:type owl:Class . eg:B24 rdf:type owl:Class . _:s5 rdf:first eg:B24 . _:s5 rdf:rest rdf:nil . _:u5 rdf:first eg:A24 . _:u5 rdf:rest _:s5 . _:q5 owl:unionOf _:u5 . _:w5 rdf:type owl:Class . eg:A25 rdf:type owl:Class . eg:B25 rdf:type owl:Class . _:y5 rdf:first eg:B25 . _:y5 rdf:rest rdf:nil . _:a6 rdf:first eg:A25 . _:a6 rdf:rest _:y5 . _:w5 owl:unionOf _:a6 . _:c6 rdf:type owl:Class . eg:A26 rdf:type owl:Class . eg:B26 rdf:type owl:Class . _:e6 rdf:first eg:B26 . _:e6 rdf:rest rdf:nil . _:g6 rdf:first eg:A26 . _:g6 rdf:rest _:e6 . _:c6 owl:unionOf _:g6 . _:i6 rdf:type owl:Class . eg:A27 rdf:type owl:Class . eg:B27 rdf:type owl:Class . _:k6 rdf:first eg:B27 . _:k6 rdf:rest rdf:nil . _:m6 rdf:first eg:A27 . _:m6 rdf:rest _:k6 . _:i6 owl:unionOf _:m6 . _:o6 rdf:type owl:Class . eg:A28 rdf:type owl:Class . eg:B28 rdf:type owl:Class . _:q6 rdf:first eg:B28 . _:q6 rdf:rest rdf:nil . _:s6 rdf:first eg:A28 . _:s6 rdf:rest _:q6 . _:o6 owl:unionOf _:s6 . _:u6 rdf:type owl:Class . eg:A29 rdf:type owl:Class . eg:B29 rdf:type owl:Class . _:w6 rdf:first eg:B29 . _:w6 rdf:rest rdf:nil . _:y6 rdf:first eg:A29 . _:y6 rdf:rest _:w6 . _:u6 owl:unionOf _:y6 . _:a7 rdf:type owl:Class . eg:A30 rdf:type owl:Class . eg:B30 rdf:type owl:Class . _:c7 rdf:first eg:B30 . _:c7 rdf:rest rdf:nil . _:e7 rdf:first eg:A30 . _:e7 rdf:rest _:c7 . _:a7 owl:unionOf _:e7 . _:g7 rdf:type owl:Class . eg:A31 rdf:type owl:Class . eg:B31 rdf:type owl:Class . _:i7 rdf:first eg:B31 . _:i7 rdf:rest rdf:nil . _:k7 rdf:first eg:A31 . _:k7 rdf:rest _:i7 . _:g7 owl:unionOf _:k7 . _:m7 rdf:first _:g7 . _:m7 rdf:rest rdf:nil . _:o7 rdf:first _:a7 . _:o7 rdf:rest _:m7 . _:q7 rdf:first _:u6 . _:q7 rdf:rest _:o7 . _:s7 rdf:first _:o6 . _:s7 rdf:rest _:q7 . _:u7 rdf:first _:i6 . _:u7 rdf:rest _:s7 . _:w7 rdf:first _:c6 . _:w7 rdf:rest _:u7 . _:y7 rdf:first _:w5 . _:y7 rdf:rest _:w7 . _:a8 rdf:first _:q5 . _:a8 rdf:rest _:y7 . _:c8 rdf:first _:k5 . _:c8 rdf:rest _:a8 . _:e8 rdf:first _:e5 . _:e8 rdf:rest _:c8 . _:g8 rdf:first _:y4 . _:g8 rdf:rest _:e8 . _:i8 rdf:first _:s4 . _:i8 rdf:rest _:g8 . _:k8 rdf:first _:m4 . _:k8 rdf:rest _:i8 . _:m8 rdf:first _:g4 . _:m8 rdf:rest _:k8 . _:o8 rdf:first _:a4 . _:o8 rdf:rest _:m8 . _:q8 rdf:first _:u3 . _:q8 rdf:rest _:o8 . _:s8 rdf:first _:o3 . _:s8 rdf:rest _:q8 . _:u8 rdf:first _:i3 . _:u8 rdf:rest _:s8 . _:w8 rdf:first _:c3 . _:w8 rdf:rest _:u8 . _:y8 rdf:first _:w2 . _:y8 rdf:rest _:w8 . _:a9 rdf:first _:q2 . _:a9 rdf:rest _:y8 . _:c9 rdf:first _:k2 . _:c9 rdf:rest _:a9 . _:e9 rdf:first _:e2 . _:e9 rdf:rest _:c9 . _:g9 rdf:first _:y1 . _:g9 rdf:rest _:e9 . _:i9 rdf:first _:s1 . _:i9 rdf:rest _:g9 . _:k9 rdf:first _:m1 . _:k9 rdf:rest _:i9 . _:m9 rdf:first _:g1 . _:m9 rdf:rest _:k9 . _:o9 rdf:first _:a1 . _:o9 rdf:rest _:m9 . _:q9 rdf:first _:u . _:q9 rdf:rest _:o9 . _:s9 rdf:first _:o . _:s9 rdf:rest _:q9 . _:u9 rdf:first _:i . _:u9 rdf:rest _:s9 . _:w9 rdf:first _:c . _:w9 rdf:rest _:u9 . _:a owl:intersectionOf _:w9 . eg:C1 rdfs:subClassOf _:a . eg:C2 rdf:type owl:Class . _:y9 rdf:type owl:Class . _:a10 rdf:type owl:Class . eg:A rdf:type owl:Class . eg:B rdf:type owl:Class . _:c10 rdf:first eg:B . _:c10 rdf:rest rdf:nil . _:e10 rdf:first eg:A . _:e10 rdf:rest _:c10 . _:a10 owl:unionOf _:e10 . _:g10 rdf:type owl:Class . eg:A rdf:type owl:Class . _:i10 rdf:type owl:Class . eg:B rdf:type owl:Class . _:i10 owl:complementOf eg:B . _:k10 rdf:first _:i10 . _:k10 rdf:rest rdf:nil . _:m10 rdf:first eg:A . _:m10 rdf:rest _:k10 . _:g10 owl:unionOf _:m10 . _:o10 rdf:first _:g10 . _:o10 rdf:rest rdf:nil . _:q10 rdf:first _:a10 . _:q10 rdf:rest _:o10 . _:y9 owl:intersectionOf _:q10 . eg:C2 rdfs:subClassOf _:y9 . eg:C3 rdf:type owl:Class . _:s10 rdf:type owl:Class . _:u10 rdf:type owl:Class . _:w10 rdf:type owl:Class . eg:A rdf:type owl:Class . _:w10 owl:complementOf eg:A . eg:B rdf:type owl:Class . _:y10 rdf:first eg:B . _:y10 rdf:rest rdf:nil . _:a11 rdf:first _:w10 . _:a11 rdf:rest _:y10 . _:u10 owl:unionOf _:a11 . _:c11 rdf:type owl:Class . _:e11 rdf:type owl:Class . eg:A rdf:type owl:Class . _:e11 owl:complementOf eg:A . _:g11 rdf:type owl:Class . eg:B rdf:type owl:Class . _:g11 owl:complementOf eg:B . _:i11 rdf:first _:g11 . _:i11 rdf:rest rdf:nil . _:k11 rdf:first _:e11 . _:k11 rdf:rest _:i11 . _:c11 owl:unionOf _:k11 . _:m11 rdf:first _:c11 . _:m11 rdf:rest rdf:nil . _:o11 rdf:first _:u10 . _:o11 rdf:rest _:m11 . _:s10 owl:intersectionOf _:o11 . eg:C3 rdfs:subClassOf _:s10 . eg:C4 rdf:type owl:Class . _:q11 rdf:type owl:Restriction . _:q11 owl:onProperty eg:R . eg:C2 rdf:type owl:Class . _:q11 owl:someValuesFrom eg:C2 . eg:C4 rdfs:subClassOf _:q11 . eg:C5 rdf:type owl:Class . _:s11 rdf:type owl:Restriction . _:s11 owl:onProperty eg:R . eg:C3 rdf:type owl:Class . _:s11 owl:allValuesFrom eg:C3 . eg:C5 rdfs:subClassOf _:s11 . eg:A10 rdf:type owl:Class . eg:A11 rdf:type owl:Class . eg:A12 rdf:type owl:Class . eg:A13 rdf:type owl:Class . eg:A14 rdf:type owl:Class . eg:A15 rdf:type owl:Class . eg:A16 rdf:type owl:Class . eg:A17 rdf:type owl:Class . eg:A18 rdf:type owl:Class . eg:A19 rdf:type owl:Class . eg:A20 rdf:type owl:Class . eg:A21 rdf:type owl:Class . eg:A22 rdf:type owl:Class . eg:A23 rdf:type owl:Class . eg:A24 rdf:type owl:Class . eg:A25 rdf:type owl:Class . eg:A26 rdf:type owl:Class . eg:A27 rdf:type owl:Class . eg:A28 rdf:type owl:Class . eg:A29 rdf:type owl:Class . eg:A30 rdf:type owl:Class . eg:A31 rdf:type owl:Class . eg:B10 rdf:type owl:Class . eg:B11 rdf:type owl:Class . eg:B12 rdf:type owl:Class . eg:B13 rdf:type owl:Class . eg:B14 rdf:type owl:Class . eg:B15 rdf:type owl:Class . eg:B16 rdf:type owl:Class . eg:B17 rdf:type owl:Class . eg:B18 rdf:type owl:Class . eg:B19 rdf:type owl:Class . eg:B20 rdf:type owl:Class . eg:B21 rdf:type owl:Class . eg:B22 rdf:type owl:Class . eg:B23 rdf:type owl:Class . eg:B24 rdf:type owl:Class . eg:B25 rdf:type owl:Class . eg:B26 rdf:type owl:Class . eg:B27 rdf:type owl:Class . eg:B28 rdf:type owl:Class . eg:B29 rdf:type owl:Class . eg:B30 rdf:type owl:Class . eg:B31 rdf:type owl:Class . eg:TEST rdf:type owl:Class . _:u11 rdf:type owl:Class . eg:C1 rdf:type owl:Class . eg:C4 rdf:type owl:Class . eg:C5 rdf:type owl:Class . _:w11 rdf:first eg:C5 . _:w11 rdf:rest rdf:nil . _:y11 rdf:first eg:C4 . _:y11 rdf:rest _:w11 . _:a12 rdf:first eg:C1 . _:a12 rdf:rest _:y11 . _:u11 owl:intersectionOf _:a12 . eg:TEST rdfs:subClassOf _:u11 . eg:R rdf:type owl:ObjectProperty . _:c12 rdf:type eg:TEST . | |||