Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
These are general satisfiability tests that are intended to test the interaction of role hierarchies, disjoint concepts and other things within an OWL reasoner.
| DL Full | Inconsistent document. | 035 | |
|---|---|---|---|
Description:
(informative)
<description-logic/Manifest035#test>
|
|||
| A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2. | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<description-logic/inconsistent035>
| ||
<rdf:RDF
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent035"
xmlns:oiled="http://oiled.man.example.net/test#">
<owl:Ontology rdf:about="">
<rdfs:comment>An ontology illustrating the use of a spy point that
limits the cardinality of the interpretation domain to having only two
objects.</rdfs:comment>
</owl:Ontology>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:minCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#invP"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP"/>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/>
<owl:someValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="http://oiled.man.example.net/test#spy"/>
</owl:oneOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<rdf:Description rdf:about="http://oiled.man.example.net/test#spy">
<rdf:type>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#invP"/>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:maxCardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
<oiled:Unsatisfiable/>
</rdf:RDF> | |||
<description-logic/inconsistent035> rdf:type owl:Ontology . <description-logic/inconsistent035> rdfs:comment """An ontology illustrating the use of a spy point that limits the cardinality of the interpretation domain to having only two objects.""" . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:r . _:a owl:minCardinality "3"^^xsd:nonNegativeInteger . oiled:Unsatisfiable rdfs:subClassOf _:a . oiled:p rdf:type owl:ObjectProperty . oiled:p owl:inverseOf oiled:invP . oiled:r rdf:type owl:ObjectProperty . oiled:invP rdf:type owl:ObjectProperty . owl:Thing rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:p . _:e rdf:type owl:Class . oiled:spy rdf:type owl:Thing . _:g rdf:first oiled:spy . _:g rdf:rest rdf:nil . _:e owl:oneOf _:g . _:c owl:someValuesFrom _:e . owl:Thing rdfs:subClassOf _:c . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invP . _:i owl:maxCardinality "2"^^xsd:nonNegativeInteger . oiled:spy rdf:type _:i . _:k rdf:type oiled:Unsatisfiable . | |||