Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
Contents
See [Heinsohn et al.].
DL Full | Inconsistent document. | 101 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest101#test>
|
|||
DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent101>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent101" 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#c"/> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <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#d"/> <owl:Class rdf:about="http://oiled.man.example.net/test#f"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c1"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#e3"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </rdfs:subClassOf> </owl:Class> <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/inconsistent101> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:c rdf:first oiled:d . _:c rdf:rest rdf:nil . _:e rdf:first oiled:c . _:e rdf:rest _:c . _:a owl:intersectionOf _:e . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . _:g rdf:type owl:Class . oiled:d rdf:type owl:Class . _:g owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:g . oiled:d rdf:type owl:Class . oiled:f rdf:type owl:Class . oiled:d rdf:type owl:Class . oiled:f rdfs:subClassOf oiled:d . oiled:c1 rdf:type owl:Class . oiled:d1 rdf:type owl:Class . oiled:c1 rdfs:subClassOf oiled:d1 . _:i rdf:type owl:Class . oiled:d1 rdf:type owl:Class . _:i owl:complementOf oiled:d1 . oiled:c1 rdfs:subClassOf _:i . oiled:d1 rdf:type owl:Class . oiled:e3 rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:e3 rdfs:subClassOf oiled:c . oiled:r rdf:type owl:ObjectProperty . _:k rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 102 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest102#test>
|
|||
DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent102>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent102" 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:allValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:intersectionOf> </owl:Class> </owl:allValuesFrom> </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#c"> <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#d"/> <owl:Class rdf:about="http://oiled.man.example.net/test#f"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c1"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#e3"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </rdfs:subClassOf> </owl:Class> <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/inconsistent102> 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 . _:e rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:g rdf:first oiled:d . _:g rdf:rest rdf:nil . _:i rdf:first oiled:c . _:i rdf:rest _:g . _:e owl:intersectionOf _:i . _:c owl:allValuesFrom _:e . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:r . owl:Thing rdf:type owl:Class . _:k owl:someValuesFrom owl:Thing . _:m rdf:first _:k . _:m rdf:rest rdf:nil . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . _:q rdf:type owl:Class . oiled:d rdf:type owl:Class . _:q owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:q . oiled:d rdf:type owl:Class . oiled:f rdf:type owl:Class . oiled:d rdf:type owl:Class . oiled:f rdfs:subClassOf oiled:d . oiled:c1 rdf:type owl:Class . oiled:d1 rdf:type owl:Class . oiled:c1 rdfs:subClassOf oiled:d1 . _:s rdf:type owl:Class . oiled:d1 rdf:type owl:Class . _:s owl:complementOf oiled:d1 . oiled:c1 rdfs:subClassOf _:s . oiled:d1 rdf:type owl:Class . oiled:e3 rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:e3 rdfs:subClassOf oiled:c . oiled:r rdf:type owl:ObjectProperty . _:u rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 103 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest103#test>
|
|||
DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent103>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent103" 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#e3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#f"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <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#d"/> <owl:Class rdf:about="http://oiled.man.example.net/test#f"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c1"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#e3"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </rdfs:subClassOf> </owl:Class> <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/inconsistent103> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:e3 rdf:type owl:Class . oiled:f rdf:type owl:Class . _:c rdf:first oiled:f . _:c rdf:rest rdf:nil . _:e rdf:first oiled:e3 . _:e rdf:rest _:c . _:a owl:intersectionOf _:e . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . _:g rdf:type owl:Class . oiled:d rdf:type owl:Class . _:g owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:g . oiled:d rdf:type owl:Class . oiled:f rdf:type owl:Class . oiled:d rdf:type owl:Class . oiled:f rdfs:subClassOf oiled:d . oiled:c1 rdf:type owl:Class . oiled:d1 rdf:type owl:Class . oiled:c1 rdfs:subClassOf oiled:d1 . _:i rdf:type owl:Class . oiled:d1 rdf:type owl:Class . _:i owl:complementOf oiled:d1 . oiled:c1 rdfs:subClassOf _:i . oiled:d1 rdf:type owl:Class . oiled:e3 rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:e3 rdfs:subClassOf oiled:c . oiled:r rdf:type owl:ObjectProperty . _:k rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 104 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest104#test>
|
|||
DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent104>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent104" 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 rdf:about="http://oiled.man.example.net/test#c1"/> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <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#d"/> <owl:Class rdf:about="http://oiled.man.example.net/test#f"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c1"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#d1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#e3"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </rdfs:subClassOf> </owl:Class> <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/inconsistent104> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . oiled:c1 rdf:type owl:Class . oiled:Unsatisfiable owl:equivalentClass oiled:c1 . oiled:c rdf:type owl:Class . _:a rdf:type owl:Class . oiled:d rdf:type owl:Class . _:a owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:a . oiled:d rdf:type owl:Class . oiled:f rdf:type owl:Class . oiled:d rdf:type owl:Class . oiled:f rdfs:subClassOf oiled:d . oiled:c1 rdf:type owl:Class . oiled:d1 rdf:type owl:Class . oiled:c1 rdfs:subClassOf oiled:d1 . _:c rdf:type owl:Class . oiled:d1 rdf:type owl:Class . _:c owl:complementOf oiled:d1 . oiled:c1 rdfs:subClassOf _:c . oiled:d1 rdf:type owl:Class . oiled:e3 rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:e3 rdfs:subClassOf oiled:c . oiled:r rdf:type owl:ObjectProperty . _:e rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 105 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest105#test>
|
|||
DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent105>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent105" 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:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:minCardinality> </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:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <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#d"/> <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/inconsistent105> 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 . _:c owl:minCardinality "2"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:e owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . _:k rdf:type owl:Class . oiled:d rdf:type owl:Class . _:k owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:k . oiled:d rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:m rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 106 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest106#test>
|
|||
DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent106>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent106" 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: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:Class rdf:about="http://oiled.man.example.net/test#c"/> </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#d"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <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#d"/> <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/inconsistent106> 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 . _:c owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:e owl:someValuesFrom oiled:c . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:d rdf:type owl:Class . _:g owl:someValuesFrom oiled:d . _: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:c rdf:type owl:Class . _:o rdf:type owl:Class . oiled:d rdf:type owl:Class . _:o owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:o . oiled:d rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:q rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 107 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest107#test>
|
|||
DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent107>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent107" 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#r"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:minCardinality> </owl:Restriction> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </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#c"/> </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#d"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#a"> <owl:equivalentClass> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:unionOf> </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:Class rdf:about="http://oiled.man.example.net/test#e"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r1"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r2"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#t1"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#tt"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#t2"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#tt"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#t3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#tt"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#tt"/> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <owl:disjointWith> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <owl:disjointWith> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#d"> <owl:disjointWith> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> </owl:disjointWith> </owl:Class> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent107> 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:r . _:e owl:minCardinality "2"^^xsd:nonNegativeInteger . _:c owl:complementOf _:e . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . _:g owl:minCardinality "1"^^xsd:nonNegativeInteger . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:i owl:someValuesFrom oiled:c . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:r . oiled:d rdf:type owl:Class . _:k owl:someValuesFrom oiled:d . _:m rdf:first _:k . _:m rdf:rest rdf:nil . _:o rdf:first _:i . _:o rdf:rest _:m . _:q rdf:first _:g . _:q rdf:rest _:o . _:s rdf:first _:c . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:a rdf:type owl:Class . _:u rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:w rdf:first oiled:d . _:w rdf:rest rdf:nil . _:y rdf:first oiled:c . _:y rdf:rest _:w . _:u owl:unionOf _:y . oiled:a owl:equivalentClass _:u . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . oiled:e rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . oiled:r1 rdf:type owl:ObjectProperty . oiled:r1 rdfs:subPropertyOf oiled:r . oiled:r2 rdf:type owl:ObjectProperty . oiled:r2 rdfs:subPropertyOf oiled:r . oiled:r3 rdf:type owl:ObjectProperty . oiled:r3 rdfs:subPropertyOf oiled:r . oiled:t1 rdf:type owl:ObjectProperty . oiled:t1 rdfs:subPropertyOf oiled:tt . oiled:t2 rdf:type owl:ObjectProperty . oiled:t2 rdfs:subPropertyOf oiled:tt . oiled:t3 rdf:type owl:ObjectProperty . oiled:t3 rdfs:subPropertyOf oiled:tt . oiled:tt rdf:type owl:ObjectProperty . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . oiled:c owl:disjointWith oiled:d . oiled:c rdf:type owl:Class . oiled:e rdf:type owl:Class . oiled:c owl:disjointWith oiled:e . oiled:d rdf:type owl:Class . oiled:e rdf:type owl:Class . oiled:d owl:disjointWith oiled:e . _:a1 rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 108 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest108#test>
|
|||
DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent108>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent108" 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#r"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:minCardinality> </owl:Restriction> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r1"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#tt"/> <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#t1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r2"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#tt"/> <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#t2"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r3"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#tt"/> <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#t3"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> </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#a"> <owl:equivalentClass> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:unionOf> </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:Class rdf:about="http://oiled.man.example.net/test#e"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r1"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r2"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#t1"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#tt"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#t2"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#tt"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#t3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#tt"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#tt"/> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <owl:disjointWith> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <owl:disjointWith> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#d"> <owl:disjointWith> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> </owl:disjointWith> </owl:Class> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent108> 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:r . _:e owl:minCardinality "2"^^xsd:nonNegativeInteger . _:c owl:complementOf _:e . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r1 . _:i rdf:type owl:Class . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:tt . _:k owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:t1 . oiled:c rdf:type owl:Class . _:m owl:someValuesFrom oiled:c . _:o rdf:first _:m . _:o rdf:rest rdf:nil . _:q rdf:first _:k . _:q rdf:rest _:o . _:i owl:intersectionOf _:q . _:g owl:someValuesFrom _:i . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:r2 . _:u rdf:type owl:Class . _:w rdf:type owl:Restriction . _:w owl:onProperty oiled:tt . _:w owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:y rdf:type owl:Restriction . _:y owl:onProperty oiled:t2 . oiled:d rdf:type owl:Class . _:y owl:someValuesFrom oiled:d . _:a1 rdf:first _:y . _:a1 rdf:rest rdf:nil . _:c1 rdf:first _:w . _:c1 rdf:rest _:a1 . _:u owl:intersectionOf _:c1 . _:s owl:someValuesFrom _:u . _:e1 rdf:type owl:Restriction . _:e1 owl:onProperty oiled:r3 . _:g1 rdf:type owl:Class . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:tt . _:i1 owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:k1 rdf:type owl:Restriction . _:k1 owl:onProperty oiled:t3 . oiled:e rdf:type owl:Class . _:k1 owl:someValuesFrom oiled:e . _:m1 rdf:first _:k1 . _:m1 rdf:rest rdf:nil . _:o1 rdf:first _:i1 . _:o1 rdf:rest _:m1 . _:g1 owl:intersectionOf _:o1 . _:e1 owl:someValuesFrom _:g1 . _:q1 rdf:first _:e1 . _:q1 rdf:rest rdf:nil . _:s1 rdf:first _:s . _:s1 rdf:rest _:q1 . _:u1 rdf:first _:g . _:u1 rdf:rest _:s1 . _:w1 rdf:first _:c . _:w1 rdf:rest _:u1 . _:a owl:intersectionOf _:w1 . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:a rdf:type owl:Class . _:y1 rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:a2 rdf:first oiled:d . _:a2 rdf:rest rdf:nil . _:c2 rdf:first oiled:c . _:c2 rdf:rest _:a2 . _:y1 owl:unionOf _:c2 . oiled:a owl:equivalentClass _:y1 . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . oiled:e rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . oiled:r1 rdf:type owl:ObjectProperty . oiled:r1 rdfs:subPropertyOf oiled:r . oiled:r2 rdf:type owl:ObjectProperty . oiled:r2 rdfs:subPropertyOf oiled:r . oiled:r3 rdf:type owl:ObjectProperty . oiled:r3 rdfs:subPropertyOf oiled:r . oiled:t1 rdf:type owl:ObjectProperty . oiled:t1 rdfs:subPropertyOf oiled:tt . oiled:t2 rdf:type owl:ObjectProperty . oiled:t2 rdfs:subPropertyOf oiled:tt . oiled:t3 rdf:type owl:ObjectProperty . oiled:t3 rdfs:subPropertyOf oiled:tt . oiled:tt rdf:type owl:ObjectProperty . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . oiled:c owl:disjointWith oiled:d . oiled:c rdf:type owl:Class . oiled:e rdf:type owl:Class . oiled:c owl:disjointWith oiled:e . oiled:d rdf:type owl:Class . oiled:e rdf:type owl:Class . oiled:d owl:disjointWith oiled:e . _:e2 rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 109 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest109#test>
|
|||
DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent109>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent109" 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#tt"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#tt"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >3</owl:minCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#tt"/> <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#tt"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#a"> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <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#d"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#tt"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent109> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:tt . oiled:a rdf:type owl:Class . _:c owl:allValuesFrom oiled:a . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:tt . _:e owl:minCardinality "3"^^xsd:nonNegativeInteger . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:tt . _:g owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:tt . _:i owl:maxCardinality "1"^^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:a rdf:type owl:Class . _:s rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:u rdf:first oiled:d . _:u rdf:rest rdf:nil . _:w rdf:first oiled:c . _:w rdf:rest _:u . _:s owl:unionOf _:w . oiled:a rdfs:subClassOf _:s . oiled:c rdf:type owl:Class . _:y rdf:type owl:Class . oiled:d rdf:type owl:Class . _:y owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:y . oiled:d rdf:type owl:Class . oiled:tt rdf:type owl:ObjectProperty . _:a1 rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 110 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest110#test>
|
|||
DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent110>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent110" 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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> </owl:complementOf> </owl:Class> </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#d"/> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:allValuesFrom> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:complementOf> </owl:Class> </owl:unionOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <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#d"/> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> <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/inconsistent110> 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 . _:e rdf:type owl:Class . oiled:e rdf:type owl:Class . _:e owl:complementOf oiled:e . _:c owl:someValuesFrom _:e . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:d rdf:type owl:Class . _:g owl:allValuesFrom oiled:d . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:k rdf:type owl:Class . oiled:e rdf:type owl:Class . _:m rdf:type owl:Class . oiled:d rdf:type owl:Class . _:m owl:complementOf oiled:d . _:o rdf:first _:m . _:o rdf:rest rdf:nil . _:q rdf:first oiled:e . _:q rdf:rest _:o . _:k owl:unionOf _:q . _:i owl:allValuesFrom _:k . _:s rdf:first _:i . _:s rdf:rest rdf:nil . _:u rdf:first _:g . _:u rdf:rest _:s . _:w rdf:first _:c . _:w rdf:rest _:u . _:a owl:intersectionOf _:w . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . _:y rdf:type owl:Class . oiled:d rdf:type owl:Class . _:y owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:y . oiled:d rdf:type owl:Class . oiled:e rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . oiled:s rdf:type owl:ObjectProperty . _:a1 rdf:type oiled:Unsatisfiable . |
DL Full | Inconsistent document. | 111 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest111#test>
|
|||
DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictions | |||
N3 format is informative. | |||
DL | Inconsistent:
<description-logic/inconsistent111>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent111" 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> <owl:complementOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:allValuesFrom> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Class> <owl:complementOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:minCardinality> </owl:Restriction> </owl:complementOf> </owl:Class> </owl:unionOf> </owl:Class> </owl:allValuesFrom> </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#d"/> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <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#d"/> <owl:Class rdf:about="http://oiled.man.example.net/test#e"/> <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/inconsistent111> 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 . _:e rdf:type owl:Class . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:s . _:g owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:e owl:complementOf _:g . _:c owl:someValuesFrom _:e . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:k rdf:type owl:Class . oiled:c rdf:type owl:Class . _:m rdf:type owl:Class . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:s . _:o owl:minCardinality "2"^^xsd:nonNegativeInteger . _:m owl:complementOf _:o . _:q rdf:first _:m . _:q rdf:rest rdf:nil . _:s rdf:first oiled:c . _:s rdf:rest _:q . _:k owl:unionOf _:s . _:i owl:allValuesFrom _:k . _:u rdf:type owl:Restriction . _:u owl:onProperty oiled:r . oiled:d rdf:type owl:Class . _:u owl:allValuesFrom oiled:d . _:w rdf:first _:u . _:w rdf:rest rdf:nil . _:y rdf:first _:i . _:y rdf:rest _:w . _:a1 rdf:first _:c . _:a1 rdf:rest _:y . _:a owl:intersectionOf _:a1 . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . _:c1 rdf:type owl:Class . oiled:d rdf:type owl:Class . _:c1 owl:complementOf oiled:d . oiled:c rdfs:subClassOf _:c1 . oiled:d rdf:type owl:Class . oiled:e rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . oiled:s rdf:type owl:ObjectProperty . _:e1 rdf:type oiled:Unsatisfiable . |