Copyright © 2004 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 . | |||