Warning:
This wiki has been archived and is now read-only.

TestCase:WebOnt-description-logic-502

From OWL
Jump to: navigation, search

Test cases are no longer maintained on this site. The test you are looking for seems to be TestCase:WebOnt-description-logic-502. 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: ClassAssertion(OneOf(minus4 plus1 plus9) T)
    • due to class description OneOf(minus4 plus1 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus9 plus3) T)
    • due to class description OneOf(minus2 minus9 plus3)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus3 plus6) T)
    • due to class description OneOf(minus4 plus3 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus9 plus3 plus4) T)
    • due to class description OneOf(minus9 plus3 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 minus7 plus9) T)
    • due to class description OneOf(minus6 minus7 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus8 plus9) T)
    • due to class description OneOf(minus4 minus8 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus2 plus8) T)
    • due to class description OneOf(minus3 plus2 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus5 plus9) T)
    • due to class description OneOf(minus4 plus5 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus6 plus1) T)
    • due to class description OneOf(minus4 minus6 plus1)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus5 plus5) )
    • due to class description OneOf(minus5 plus5)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus6 plus6) )
    • due to class description OneOf(minus6 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus4 minus7) T)
    • due to class description OneOf(minus3 minus4 minus7)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus4 plus4) )
    • due to class description OneOf(minus4 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus6 plus4) T)
    • due to class description OneOf(minus2 minus6 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus9 plus7) T)
    • due to class description OneOf(minus2 minus9 plus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus5 plus9) T)
    • due to class description OneOf(minus7 plus5 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 plus6 plus9) T)
    • due to class description OneOf(minus2 plus6 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus8 plus3) T)
    • due to class description OneOf(minus2 minus8 plus3)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus9 plus9) )
    • due to class description OneOf(minus9 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus7 plus8) T)
    • due to class description OneOf(minus5 plus7 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 minus9 plus1) T)
    • due to class description OneOf(minus6 minus9 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus7 plus6) T)
    • due to class description OneOf(minus2 minus7 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus3 plus8) T)
    • due to class description OneOf(minus7 plus3 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus6 plus8) T)
    • due to class description OneOf(minus4 plus6 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus3 plus4) T)
    • due to class description OneOf(plus1 plus3 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus5 minus8) T)
    • due to class description OneOf(minus3 minus5 minus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus8 plus5) T)
    • due to class description OneOf(minus3 minus8 plus5)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus4 plus6) T)
    • due to class description OneOf(minus1 minus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus7 plus8) T)
    • due to class description OneOf(minus3 plus7 plus8)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus7 plus7) )
    • due to class description OneOf(minus7 plus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus3 plus9) T)
    • due to class description OneOf(minus8 plus3 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus5 minus9) T)
    • due to class description OneOf(minus2 minus5 minus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus8 minus9) T)
    • due to class description OneOf(minus4 minus8 minus9)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus3 plus3) )
    • due to class description OneOf(minus3 plus3)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus5 plus9) T)
    • due to class description OneOf(plus2 plus5 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus7 plus9) T)
    • due to class description OneOf(minus4 plus7 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus4 plus6) T)
    • due to class description OneOf(minus3 minus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus7 plus2) T)
    • due to class description OneOf(minus5 minus7 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus2 plus4) T)
    • due to class description OneOf(minus1 plus2 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus1 plus2) T)
    • due to class description OneOf(minus6 plus1 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus4 plus6) T)
    • due to class description OneOf(plus3 plus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus1 plus9) T)
    • due to class description OneOf(minus6 plus1 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus4 plus9) T)
    • due to class description OneOf(plus3 plus4 plus9)
  • The following axiom is not allowed: DifferentIndividuals(F T )
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus1 plus2) T)
    • due to class description OneOf(minus4 plus1 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus4 plus6) T)
    • due to class description OneOf(minus5 plus4 plus6)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus1 plus1) )
    • due to class description OneOf(minus1 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 minus8 plus6) T)
    • due to class description OneOf(minus7 minus8 plus6)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(F T) )
    • due to class description OneOf(F T)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus2 plus8) T)
    • due to class description OneOf(minus4 plus2 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus4 plus7) T)
    • due to class description OneOf(plus1 plus4 plus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus9 plus3) T)
    • due to class description OneOf(minus5 minus9 plus3)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus2 plus2) )
    • due to class description OneOf(minus2 plus2)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus8 plus8) )
    • due to class description OneOf(minus8 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus3 plus1) T)
    • due to class description OneOf(minus2 minus3 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus4 plus6) T)
    • due to class description OneOf(minus8 plus4 plus6)

OWL QL Report (Informative)

Ontology violates the OWL QL constraints in at least the following:

  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus1 plus2) T)
    • due to class description OneOf(minus6 plus1 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus6 plus8) T)
    • due to class description OneOf(minus4 plus6 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus3 plus6) T)
    • due to class description OneOf(minus4 plus3 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus5 minus8) T)
    • due to class description OneOf(minus3 minus5 minus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus8 plus9) T)
    • due to class description OneOf(minus4 minus8 plus9)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus1 plus1) )
    • due to class description OneOf(minus1 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus5 plus9) T)
    • due to class description OneOf(minus4 plus5 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus2 plus8) T)
    • due to class description OneOf(minus3 plus2 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus4 plus6) T)
    • due to class description OneOf(minus5 plus4 plus6)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus7 plus7) )
    • due to class description OneOf(minus7 plus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus6 plus4) T)
    • due to class description OneOf(minus2 minus6 plus4)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus5 plus5) )
    • due to class description OneOf(minus5 plus5)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus9 plus3) T)
    • due to class description OneOf(minus5 minus9 plus3)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 minus8 plus6) T)
    • due to class description OneOf(minus7 minus8 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus3 plus1) T)
    • due to class description OneOf(minus2 minus3 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus2 plus4) T)
    • due to class description OneOf(minus1 plus2 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 minus9 plus1) T)
    • due to class description OneOf(minus6 minus9 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus9 plus7) T)
    • due to class description OneOf(minus2 minus9 plus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus9 plus3 plus4) T)
    • due to class description OneOf(minus9 plus3 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus4 plus6) T)
    • due to class description OneOf(minus1 minus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus7 plus2) T)
    • due to class description OneOf(minus5 minus7 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus1 plus9) T)
    • due to class description OneOf(minus6 plus1 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus5 plus9) T)
    • due to class description OneOf(minus7 plus5 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus7 plus6) T)
    • due to class description OneOf(minus2 minus7 plus6)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus8 plus8) )
    • due to class description OneOf(minus8 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus4 plus6) T)
    • due to class description OneOf(plus3 plus4 plus6)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus6 plus6) )
    • due to class description OneOf(minus6 plus6)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus4 plus4) )
    • due to class description OneOf(minus4 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus4 plus6) T)
    • due to class description OneOf(minus8 plus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus1 plus2) T)
    • due to class description OneOf(minus4 plus1 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus8 plus3) T)
    • due to class description OneOf(minus2 minus8 plus3)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus4 minus7) T)
    • due to class description OneOf(minus3 minus4 minus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus9 plus3) T)
    • due to class description OneOf(minus2 minus9 plus3)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus7 plus9) T)
    • due to class description OneOf(minus4 plus7 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 plus6 plus9) T)
    • due to class description OneOf(minus2 plus6 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus5 minus9) T)
    • due to class description OneOf(minus2 minus5 minus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus7 plus8) T)
    • due to class description OneOf(minus3 plus7 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus3 plus9) T)
    • due to class description OneOf(minus8 plus3 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus8 plus5) T)
    • due to class description OneOf(minus3 minus8 plus5)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus4 plus6) T)
    • due to class description OneOf(minus3 minus4 plus6)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus2 plus2) )
    • due to class description OneOf(minus2 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus7 plus8) T)
    • due to class description OneOf(minus5 plus7 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus2 plus8) T)
    • due to class description OneOf(minus4 plus2 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus4 plus7) T)
    • due to class description OneOf(plus1 plus4 plus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus3 plus4) T)
    • due to class description OneOf(plus1 plus3 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus6 plus1) T)
    • due to class description OneOf(minus4 minus6 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus8 minus9) T)
    • due to class description OneOf(minus4 minus8 minus9)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(F T) )
    • due to class description OneOf(F T)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 minus7 plus9) T)
    • due to class description OneOf(minus6 minus7 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus4 plus9) T)
    • due to class description OneOf(plus3 plus4 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus3 plus8) T)
    • due to class description OneOf(minus7 plus3 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus5 plus9) T)
    • due to class description OneOf(plus2 plus5 plus9)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus3 plus3) )
    • due to class description OneOf(minus3 plus3)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus1 plus9) T)
    • due to class description OneOf(minus4 plus1 plus9)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus9 plus9) )
    • due to class description OneOf(minus9 plus9)

OWL RL Report (Informative)

Ontology violates the OWL RL constraints in at least the following:

  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus9 plus3) T)
    • due to class description OneOf(minus5 minus9 plus3)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus9 plus3) T)
    • due to class description OneOf(minus2 minus9 plus3)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus8 plus8) )
    • due to class description OneOf(minus8 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus8 minus9) T)
    • due to class description OneOf(minus4 minus8 minus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus8 plus9) T)
    • due to class description OneOf(minus4 minus8 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus5 minus9) T)
    • due to class description OneOf(minus2 minus5 minus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus7 plus6) T)
    • due to class description OneOf(minus2 minus7 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus2 plus4) T)
    • due to class description OneOf(minus1 plus2 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus4 plus7) T)
    • due to class description OneOf(plus1 plus4 plus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus5 plus9) T)
    • due to class description OneOf(minus7 plus5 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 minus8 plus6) T)
    • due to class description OneOf(minus7 minus8 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus4 plus6) T)
    • due to class description OneOf(plus3 plus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus6 plus1) T)
    • due to class description OneOf(minus4 minus6 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus3 plus9) T)
    • due to class description OneOf(minus8 plus3 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus3 plus6) T)
    • due to class description OneOf(minus4 plus3 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus3 plus8) T)
    • due to class description OneOf(minus7 plus3 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus4 plus6) T)
    • due to class description OneOf(minus8 plus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus5 plus9) T)
    • due to class description OneOf(minus4 plus5 plus9)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus5 plus5) )
    • due to class description OneOf(minus5 plus5)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus5 minus8) T)
    • due to class description OneOf(minus3 minus5 minus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus9 plus7) T)
    • due to class description OneOf(minus2 minus9 plus7)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus9 plus9) )
    • due to class description OneOf(minus9 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 minus9 plus1) T)
    • due to class description OneOf(minus6 minus9 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus1 plus2) T)
    • due to class description OneOf(minus4 plus1 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus3 plus4) T)
    • due to class description OneOf(plus1 plus3 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus4 plus6) T)
    • due to class description OneOf(minus5 plus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus7 plus8) T)
    • due to class description OneOf(minus3 plus7 plus8)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus7 plus7) )
    • due to class description OneOf(minus7 plus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus5 plus9) T)
    • due to class description OneOf(plus2 plus5 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus9 plus3 plus4) T)
    • due to class description OneOf(minus9 plus3 plus4)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus3 plus3) )
    • due to class description OneOf(minus3 plus3)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus7 plus9) T)
    • due to class description OneOf(minus4 plus7 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 plus6 plus9) T)
    • due to class description OneOf(minus2 plus6 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 minus7 plus9) T)
    • due to class description OneOf(minus6 minus7 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus4 minus7) T)
    • due to class description OneOf(minus3 minus4 minus7)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus7 plus2) T)
    • due to class description OneOf(minus5 minus7 plus2)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus4 plus6) T)
    • due to class description OneOf(minus3 minus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus2 plus8) T)
    • due to class description OneOf(minus4 plus2 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus1 plus9) T)
    • due to class description OneOf(minus4 plus1 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus8 plus5) T)
    • due to class description OneOf(minus3 minus8 plus5)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus4 plus4) )
    • due to class description OneOf(minus4 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus4 plus6) T)
    • due to class description OneOf(minus1 minus4 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus1 plus9) T)
    • due to class description OneOf(minus6 plus1 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus2 plus8) T)
    • due to class description OneOf(minus3 plus2 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus1 plus2) T)
    • due to class description OneOf(minus6 plus1 plus2)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus1 plus1) )
    • due to class description OneOf(minus1 plus1)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus7 plus8) T)
    • due to class description OneOf(minus5 plus7 plus8)
  • The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus4 plus9) T)
    • due to class description OneOf(plus3 plus4 plus9)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus4 plus6 plus8) T)
    • due to class description OneOf(minus4 plus6 plus8)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus6 plus6) )
    • due to class description OneOf(minus6 plus6)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus8 plus3) T)
    • due to class description OneOf(minus2 minus8 plus3)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(F T) )
    • due to class description OneOf(F T)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus6 plus4) T)
    • due to class description OneOf(minus2 minus6 plus4)
  • The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus3 plus1) T)
    • due to class description OneOf(minus2 minus3 plus1)
  • The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus2 plus2) )
    • due to class description OneOf(minus2 plus2)