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 | 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.uk/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/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.uk/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.uk/test#c"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.uk/test#d"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#d"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.uk/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 . _:g rdf:type rdf:List . _:i rdf:first _:c . _:i rdf:rest _:g . _:i rdf:type rdf:List . _: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 | 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.uk/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/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.uk/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.uk/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.uk/test#d"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#c"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.uk/test#d"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.uk/test#d"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.uk/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.uk/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 . _:i rdf:type rdf:List . _:k rdf:first _:e . _:k rdf:rest _:i . _:k rdf:type rdf:List . _:m rdf:first _:c . _:m rdf:rest _:k . _:m rdf:type rdf:List . _: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 . |