TestCase:WebOnt-description-logic-623
From OWL Test Cases
| [Download OWL] | |
| Test Id | WebOnt-description-logic-623 |
|---|---|
| Description | DL Test: t4.1
Dynamic blocking example |
| Status | Approved (2009-01-07) (proposed 2009-01-05) |
| 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/Manifest623#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:oiled="http://oiled.man.example.net/test#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent623"> <owl:Ontology rdf:about=""/> <owl:Class rdf:ID="A.2"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> </owl:onProperty> <owl:someValuesFrom> <owl:Class rdf:about="/2002/07/owl#Thing"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/> </owl:onProperty> <owl:someValuesFrom rdf:resource="/2002/07/owl#Thing"/> </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#c"/> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/> </owl:onProperty> <owl:allValuesFrom> <owl:Class rdf:about="#V.3"/> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/> </owl:onProperty> <owl:allValuesFrom> <owl:Class rdf:about="#V.4"/> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/> </owl:onProperty> <owl:allValuesFrom> <owl:Class rdf:about="#V.5"/> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#a.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.1"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:ID="V.7"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP"/> </owl:onProperty> <owl:allValuesFrom> <owl:Class rdf:about="#V.6"/> </owl:allValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:ID="V.6"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS"/> </owl:onProperty> <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#a.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:ID="V.5"> <owl:equivalentClass> <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#c"/> </owl:allValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:ID="V.4"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/> </owl:onProperty> <owl:someValuesFrom rdf:resource="/2002/07/owl#Thing"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:ID="V.3"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom rdf:resource="/2002/07/owl#Thing"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/> </owl:onProperty> <owl:someValuesFrom rdf:resource="#A.2"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/> </owl:onProperty> <owl:allValuesFrom rdf:resource="#V.7"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#a"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.1"/> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP"> <owl:inverseOf> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/> </owl:inverseOf> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"> <rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <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(invR r)
- The following axiom is not allowed: EquivalentClasses(c AllValuesFrom(invR V.7) )
- due to class description AllValuesFrom(invR V.7)
- The following axiom is not allowed: EquivalentClasses(V.5 AllValuesFrom(r c) )
- due to class description AllValuesFrom(r c)
- The following axiom is not allowed: EquivalentClasses(V.6 AllValuesFrom(invS a.comp) )
- due to class description AllValuesFrom(invS a.comp)
- The following axiom is not allowed: InverseProperties(invP p)
- The following axiom is not allowed: EquivalentClasses(V.7 AllValuesFrom(invP V.6) )
- due to class description AllValuesFrom(invP V.6)
- The following axiom is not allowed: EquivalentClasses(a.comp MinCardinality(1 P.1 Literal) )
- due to class description MinCardinality(1 P.1 Literal)
- The following axiom is not allowed: InverseProperties(invS s)
- The following axiom is not allowed: EquivalentClasses(A.2 IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c)) )
- due to class description IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c))
- The following axiom is not allowed: EquivalentClasses(a MaxCardinality(0 P.1 Literal) )
- due to class description MaxCardinality(0 P.1 Literal)
OWL QL Report (Informative)
Ontology violates the OWL QL constraints in at least the following:
- The following axiom is not allowed: EquivalentClasses(c AllValuesFrom(invR V.7) )
- due to class description AllValuesFrom(invR V.7)
- The following axiom is not allowed: EquivalentClasses(a.comp MinCardinality(1 P.1 Literal) )
- due to class description MinCardinality(1 P.1 Literal)
- The following axiom is not allowed: EquivalentClasses(V.6 AllValuesFrom(invS a.comp) )
- due to class description AllValuesFrom(invS a.comp)
- The following axiom is not allowed: EquivalentClasses(V.5 AllValuesFrom(r c) )
- due to class description AllValuesFrom(r c)
- The following axiom is not allowed: EquivalentClasses(V.7 AllValuesFrom(invP V.6) )
- due to class description AllValuesFrom(invP V.6)
- The following axiom is not allowed: EquivalentClasses(a MaxCardinality(0 P.1 Literal) )
- due to class description MaxCardinality(0 P.1 Literal)
- The following axiom is not allowed: TransitiveProperty(p)
- The following axiom is not allowed: EquivalentClasses(A.2 IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c)) )
- due to class description IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c))
OWL RL Report (Informative)
Ontology violates the OWL RL constraints in at least the following:
- The following axiom is not allowed: EquivalentClasses(V.7 AllValuesFrom(invP V.6) )
- due to class description AllValuesFrom(invP V.6)
- The following axiom is not allowed: EquivalentClasses(V.5 AllValuesFrom(r c) )
- due to class description AllValuesFrom(r c)
- The following axiom is not allowed: EquivalentClasses(a.comp MinCardinality(1 P.1 Literal) )
- due to class description MinCardinality(1 P.1 Literal)
- The following axiom is not allowed: EquivalentClasses(a MaxCardinality(0 P.1 Literal) )
- due to class description MaxCardinality(0 P.1 Literal)
- The following axiom is not allowed: EquivalentClasses(c AllValuesFrom(invR V.7) )
- due to class description AllValuesFrom(invR V.7)
- The following axiom is not allowed: EquivalentClasses(V.6 AllValuesFrom(invS a.comp) )
- due to class description AllValuesFrom(invS a.comp)
- The following axiom is not allowed: EquivalentClasses(A.2 IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c)) )
- due to class description IntersectionOf(SomeValuesFrom(p Thing) SomeValuesFrom(r Thing) AllValuesFrom(p V.3) AllValuesFrom(p V.4) AllValuesFrom(p V.5) AllValuesFrom(r c))
- The following axiom is not allowed: EquivalentClasses(V.4 SomeValuesFrom(p Thing) )
- due to class description SomeValuesFrom(p Thing)
- The following axiom is not allowed: SubClassOf(Unsatisfiable SomeValuesFrom(s A.2))
- due to class description SomeValuesFrom(s A.2)
- The following axiom is not allowed: EquivalentClasses(V.3 SomeValuesFrom(r Thing) )
- due to class description SomeValuesFrom(r Thing)
