TestCase:WebOnt-description-logic-035
From OWL Test Cases
| [Download OWL] | |
| Test Id | WebOnt-description-logic-035 |
|---|---|
| Description | 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. |
| Status | Approved (2009-01-07) (proposed 2008-12-10) |
| Author | Sean Bechhofer |
| Original syntax | RDF-XML |
| Syntactic Species/Profile | OWL 2 DL (not EL, not QL, not RL) |
| Semantics | This test is applicable under both direct and RDF-based semantics. |
| WebOnt test | http://www.w3.org/2002/03owlt/description-logic/Manifest035#test |
| Inconsistent ontology (download)
Convert syntax: functional, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
| <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> | |
| Imported ontologies | none |
OWL EL Report (Informative)
Ontology violates the OWL EL constraints in at least the following:
- The following axiom is not allowed: InverseProperties(p invP)
- The following axiom is not allowed: SubClassOf(Unsatisfiable MinCardinality(3 r Thing))
- due to class description MinCardinality(3 r Thing)
- The following axiom is not allowed: ClassAssertion(MaxCardinality(2 invP Thing) spy)
- due to class description MaxCardinality(2 invP Thing)
OWL QL Report (Informative)
Ontology violates the OWL QL constraints in at least the following:
- The following axiom is not allowed: ClassAssertion(MaxCardinality(2 invP Thing) spy)
- due to class description MaxCardinality(2 invP Thing)
- The following axiom is not allowed: SubClassOf(Unsatisfiable MinCardinality(3 r Thing))
- due to class description MinCardinality(3 r Thing)
- The following axiom is not allowed: SubClassOf(Thing SomeValuesFrom(p OneOf(spy)))
- due to class description SomeValuesFrom(p OneOf(spy))
OWL RL Report (Informative)
Ontology violates the OWL RL constraints in at least the following:
- The following axiom is not allowed: ClassAssertion(MaxCardinality(2 invP Thing) spy)
- due to class description MaxCardinality(2 invP Thing)
- The following axiom is not allowed: SubClassOf(Unsatisfiable MinCardinality(3 r Thing))
- due to class description MinCardinality(3 r Thing)
- The following axiom is not allowed: SubClassOf(Thing SomeValuesFrom(p OneOf(spy)))
- due to class description Thing
