Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
These are general satisfiability tests that are intended to test the interaction of role hierarchies, disjoint concepts and other things within an OWL reasoner.
| DL 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 . | |||