Warning:
This wiki has been archived and is now read-only.
TestCase:WebOnt-description-logic-503
From OWL
Test cases are no longer maintained on this site. The test you are looking for seems to be TestCase:WebOnt-description-logic-503. For more tests, please go to the OWL 2 test case collection site.
OWL EL Report (Informative)
Ontology violates the OWL EL constraints in at least the following:
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus1 plus9))
- due to class description UnionOf(minus3 plus1 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus4 plus7))
- due to class description UnionOf(minus8 plus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus5 plus8))
- due to class description UnionOf(plus2 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus7 plus1))
- due to class description UnionOf(minus5 minus7 plus1)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus4 plus5 plus8))
- due to class description UnionOf(plus4 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus8 minus9))
- due to class description UnionOf(minus2 minus8 minus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus4 plus7))
- due to class description UnionOf(minus1 minus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus5 plus6))
- due to class description UnionOf(minus7 plus5 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus9 plus5))
- due to class description UnionOf(minus7 minus9 plus5)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus2 plus5))
- due to class description UnionOf(minus7 plus2 plus5)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus6 plus2))
- due to class description UnionOf(minus3 minus6 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus6 minus8))
- due to class description UnionOf(minus5 minus6 minus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus4 plus8))
- due to class description UnionOf(minus7 plus4 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus2 plus3))
- due to class description UnionOf(minus1 plus2 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus8 plus7))
- due to class description UnionOf(minus3 minus8 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus4 plus6))
- due to class description UnionOf(plus1 plus4 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus5 plus3))
- due to class description UnionOf(minus2 minus5 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus9 plus3 plus6))
- due to class description UnionOf(minus9 plus3 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus3 plus6))
- due to class description UnionOf(plus2 plus3 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus3 plus8))
- due to class description UnionOf(minus6 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus9 plus7))
- due to class description UnionOf(minus1 minus9 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus3 plus8))
- due to class description UnionOf(minus5 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 minus9 plus2))
- due to class description UnionOf(minus8 minus9 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus9 plus3))
- due to class description UnionOf(minus7 minus9 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus5 plus4))
- due to class description UnionOf(minus3 minus5 plus4)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus2 plus9))
- due to class description UnionOf(minus1 minus2 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus6 plus7))
- due to class description UnionOf(minus1 plus6 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus5 plus8))
- due to class description UnionOf(minus1 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus8 plus9))
- due to class description UnionOf(minus1 minus8 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus6 minus8))
- due to class description UnionOf(minus3 minus6 minus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus6 plus8))
- due to class description UnionOf(minus4 minus6 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 minus9 plus7))
- due to class description UnionOf(minus8 minus9 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus3 plus7))
- due to class description UnionOf(minus2 plus3 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus3 minus7))
- due to class description UnionOf(minus2 minus3 minus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus4 plus7))
- due to class description UnionOf(minus5 plus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus5 plus6))
- due to class description UnionOf(minus2 plus5 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus6 plus8))
- due to class description UnionOf(minus3 plus6 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus3 plus8))
- due to class description UnionOf(minus7 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus4 minus9))
- due to class description UnionOf(minus2 minus4 minus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus1 plus2))
- due to class description UnionOf(minus8 plus1 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus1))
- due to class description UnionOf(minus2 minus9 plus1)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus6 plus7))
- due to class description UnionOf(plus3 plus6 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus2 plus7))
- due to class description UnionOf(minus3 plus2 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus7))
- due to class description UnionOf(minus6 plus1 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus2 plus3))
- due to class description UnionOf(minus1 minus2 plus3)
OWL QL Report (Informative)
Ontology violates the OWL QL constraints in at least the following:
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus8 plus7))
- due to class description UnionOf(minus3 minus8 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus3 plus8))
- due to class description UnionOf(minus5 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus4 plus7))
- due to class description UnionOf(minus5 plus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus5 plus3))
- due to class description UnionOf(minus2 minus5 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus3 plus6))
- due to class description UnionOf(plus2 plus3 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus1))
- due to class description UnionOf(minus2 minus9 plus1)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus3 plus7))
- due to class description UnionOf(minus2 plus3 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus1 plus9))
- due to class description UnionOf(minus3 plus1 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus9 plus3))
- due to class description UnionOf(minus7 minus9 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus8 plus9))
- due to class description UnionOf(minus1 minus8 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus4 plus5 plus8))
- due to class description UnionOf(plus4 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus6 plus2))
- due to class description UnionOf(minus3 minus6 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus9 plus3 plus6))
- due to class description UnionOf(minus9 plus3 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus4 minus9))
- due to class description UnionOf(minus2 minus4 minus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 minus9 plus7))
- due to class description UnionOf(minus8 minus9 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus1 plus2))
- due to class description UnionOf(minus8 plus1 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus5 plus6))
- due to class description UnionOf(minus2 plus5 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus5 plus4))
- due to class description UnionOf(minus3 minus5 plus4)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus2 plus7))
- due to class description UnionOf(minus3 plus2 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus5 plus6))
- due to class description UnionOf(minus7 plus5 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus5 plus8))
- due to class description UnionOf(plus2 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus7 plus1))
- due to class description UnionOf(minus5 minus7 plus1)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus5 plus8))
- due to class description UnionOf(minus1 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus6 minus8))
- due to class description UnionOf(minus5 minus6 minus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus2 plus3))
- due to class description UnionOf(minus1 plus2 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus3 plus8))
- due to class description UnionOf(minus6 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus2 plus3))
- due to class description UnionOf(minus1 minus2 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 minus9 plus2))
- due to class description UnionOf(minus8 minus9 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus2 plus9))
- due to class description UnionOf(minus1 minus2 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus9 plus5))
- due to class description UnionOf(minus7 minus9 plus5)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus7))
- due to class description UnionOf(minus6 plus1 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus9 plus7))
- due to class description UnionOf(minus1 minus9 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus6 plus7))
- due to class description UnionOf(plus3 plus6 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus6 plus8))
- due to class description UnionOf(minus3 plus6 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus2 plus5))
- due to class description UnionOf(minus7 plus2 plus5)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus6 plus7))
- due to class description UnionOf(minus1 plus6 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus6 minus8))
- due to class description UnionOf(minus3 minus6 minus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus3 plus8))
- due to class description UnionOf(minus7 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus4 plus6))
- due to class description UnionOf(plus1 plus4 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus3 minus7))
- due to class description UnionOf(minus2 minus3 minus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus6 plus8))
- due to class description UnionOf(minus4 minus6 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus4 plus7))
- due to class description UnionOf(minus8 plus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus4 plus7))
- due to class description UnionOf(minus1 minus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus4 plus8))
- due to class description UnionOf(minus7 plus4 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus8 minus9))
- due to class description UnionOf(minus2 minus8 minus9)
OWL RL Report (Informative)
Ontology violates the OWL RL constraints in at least the following:
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus1 plus2))
- due to class description UnionOf(minus8 plus1 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 minus9 plus7))
- due to class description UnionOf(minus8 minus9 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus3 plus6))
- due to class description UnionOf(plus2 plus3 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus8 minus9))
- due to class description UnionOf(minus2 minus8 minus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus2 plus3))
- due to class description UnionOf(minus1 plus2 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus6 plus8))
- due to class description UnionOf(minus4 minus6 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus5 plus6))
- due to class description UnionOf(minus2 plus5 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus3 minus7))
- due to class description UnionOf(minus2 minus3 minus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus8 plus7))
- due to class description UnionOf(minus3 minus8 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus4 plus8))
- due to class description UnionOf(minus7 plus4 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus9 plus3 plus6))
- due to class description UnionOf(minus9 plus3 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus5 plus6))
- due to class description UnionOf(minus7 plus5 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus9 plus3))
- due to class description UnionOf(minus7 minus9 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus6 minus8))
- due to class description UnionOf(minus5 minus6 minus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus3 plus7))
- due to class description UnionOf(minus2 plus3 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus1))
- due to class description UnionOf(minus2 minus9 plus1)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus1 plus9))
- due to class description UnionOf(minus3 plus1 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus4 minus9))
- due to class description UnionOf(minus2 minus4 minus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus5 plus3))
- due to class description UnionOf(minus2 minus5 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus4 plus5 plus8))
- due to class description UnionOf(plus4 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus5 plus4))
- due to class description UnionOf(minus3 minus5 plus4)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus5 plus8))
- due to class description UnionOf(minus1 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus6 plus7))
- due to class description UnionOf(plus3 plus6 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus9 plus5))
- due to class description UnionOf(minus7 minus9 plus5)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus2 plus3))
- due to class description UnionOf(minus1 minus2 plus3)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 minus9 plus2))
- due to class description UnionOf(minus8 minus9 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus4 plus7))
- due to class description UnionOf(minus1 minus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus6 plus2))
- due to class description UnionOf(minus3 minus6 plus2)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus4 plus6))
- due to class description UnionOf(plus1 plus4 plus6)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus3 plus8))
- due to class description UnionOf(minus6 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus6 minus8))
- due to class description UnionOf(minus3 minus6 minus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus8 plus9))
- due to class description UnionOf(minus1 minus8 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus7))
- due to class description UnionOf(minus6 plus1 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus4 plus7))
- due to class description UnionOf(minus8 plus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus3 plus8))
- due to class description UnionOf(minus7 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus6 plus8))
- due to class description UnionOf(minus3 plus6 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus5 plus8))
- due to class description UnionOf(plus2 plus5 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus3 plus8))
- due to class description UnionOf(minus5 plus3 plus8)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus4 plus7))
- due to class description UnionOf(minus5 plus4 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus2 plus9))
- due to class description UnionOf(minus1 minus2 plus9)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus6 plus7))
- due to class description UnionOf(minus1 plus6 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus7 plus1))
- due to class description UnionOf(minus5 minus7 plus1)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus2 plus7))
- due to class description UnionOf(minus3 plus2 plus7)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus2 plus5))
- due to class description UnionOf(minus7 plus2 plus5)
- The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus9 plus7))
- due to class description UnionOf(minus1 minus9 plus7)