Test cases are no longer maintained on this site. The test you are looking for seems to be TestCase:WebOnt-description-logic-501. 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(minus5 plus3 plus8) T)`- due to class description
`OneOf(minus5 plus3 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 minus9 plus3) T)`- due to class description
`OneOf(minus7 minus9 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus4 plus5 plus8) T)`- due to class description
`OneOf(plus4 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus5 plus4) T)`- due to class description
`OneOf(minus3 minus5 plus4)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus7 plus7) )`- due to class description
`OneOf(minus7 plus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus5 plus5) )`- due to class description
`OneOf(minus5 plus5)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus9 plus3 plus6) T)`- due to class description
`OneOf(minus9 plus3 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus8 plus7) T)`- due to class description
`OneOf(minus3 minus8 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus4 minus9) T)`- due to class description
`OneOf(minus2 minus4 minus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus2 plus3) T)`- due to class description
`OneOf(minus1 plus2 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 minus7 plus1) T)`- due to class description
`OneOf(minus5 minus7 plus1)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 plus5 plus6) T)`- due to class description
`OneOf(minus2 plus5 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus6 minus8) T)`- due to class description
`OneOf(minus3 minus6 minus8)`

- due to class description
- The following axiom is not allowed:
`DifferentIndividuals(F T )` - The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus2 plus5) T)`- due to class description
`OneOf(minus7 plus2 plus5)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus6 plus6) )`- due to class description
`OneOf(minus6 plus6)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(F T) )`- due to class description
`OneOf(F T)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus2 plus5 plus8) T)`- due to class description
`OneOf(plus2 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 minus6 minus8) T)`- due to class description
`OneOf(minus5 minus6 minus8)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus2 plus2) )`- due to class description
`OneOf(minus2 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus2 plus7) T)`- due to class description
`OneOf(minus3 plus2 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus3 plus8) T)`- due to class description
`OneOf(minus7 plus3 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 plus4 plus7) T)`- due to class description
`OneOf(minus5 plus4 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus5 plus3) T)`- due to class description
`OneOf(minus2 minus5 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus2 plus3) T)`- due to class description
`OneOf(minus1 minus2 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 plus1 plus2) T)`- due to class description
`OneOf(minus8 plus1 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus8 plus9) T)`- due to class description
`OneOf(minus1 minus8 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus6 plus3 plus8) T)`- due to class description
`OneOf(minus6 plus3 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus3 minus7) T)`- due to class description
`OneOf(minus2 minus3 minus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus8 minus9) T)`- due to class description
`OneOf(minus2 minus8 minus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus1 plus9) T)`- due to class description
`OneOf(minus3 plus1 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 minus9 plus7) T)`- due to class description
`OneOf(minus8 minus9 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus5 plus8) T)`- due to class description
`OneOf(minus1 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus2 plus9) T)`- due to class description
`OneOf(minus1 minus2 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus6 plus7) T)`- due to class description
`OneOf(minus1 plus6 plus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus4 plus4) )`- due to class description
`OneOf(minus4 plus4)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 minus9 plus2) T)`- due to class description
`OneOf(minus8 minus9 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus9 plus7) T)`- due to class description
`OneOf(minus1 minus9 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 plus4 plus7) T)`- due to class description
`OneOf(minus8 plus4 plus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus3 plus3) )`- due to class description
`OneOf(minus3 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus9 plus1) T)`- due to class description
`OneOf(minus2 minus9 plus1)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus1 plus4 plus6) T)`- due to class description
`OneOf(plus1 plus4 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus4 plus7) T)`- due to class description
`OneOf(minus1 minus4 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus4 minus6 plus8) T)`- due to class description
`OneOf(minus4 minus6 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus3 plus6 plus7) T)`- due to class description
`OneOf(plus3 plus6 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 minus9 plus5) T)`- due to class description
`OneOf(minus7 minus9 plus5)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus4 plus8) T)`- due to class description
`OneOf(minus7 plus4 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus2 plus3 plus6) T)`- due to class description
`OneOf(plus2 plus3 plus6)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus1 plus1) )`- due to class description
`OneOf(minus1 plus1)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus8 plus8) )`- due to class description
`OneOf(minus8 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 plus3 plus7) T)`- due to class description
`OneOf(minus2 plus3 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus6 plus1 plus7) T)`- due to class description
`OneOf(minus6 plus1 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus6 plus2) T)`- due to class description
`OneOf(minus3 minus6 plus2)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus9 plus9) )`- due to class description
`OneOf(minus9 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus6 plus8) T)`- due to class description
`OneOf(minus3 plus6 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus5 plus6) T)`- due to class description
`OneOf(minus7 plus5 plus6)`

- due to class description

### OWL QL Report (Informative)

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

- The following axiom is not allowed:
`ClassAssertion(OneOf(plus4 plus5 plus8) T)`- due to class description
`OneOf(plus4 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 plus4 plus7) T)`- due to class description
`OneOf(minus5 plus4 plus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus5 plus5) )`- due to class description
`OneOf(minus5 plus5)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus6 plus2) T)`- due to class description
`OneOf(minus3 minus6 plus2)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus7 plus7) )`- due to class description
`OneOf(minus7 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus4 plus8) T)`- due to class description
`OneOf(minus7 plus4 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus9 plus3 plus6) T)`- due to class description
`OneOf(minus9 plus3 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 minus7 plus1) T)`- due to class description
`OneOf(minus5 minus7 plus1)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 minus9 plus5) T)`- due to class description
`OneOf(minus7 minus9 plus5)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus3 minus7) T)`- due to class description
`OneOf(minus2 minus3 minus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 plus5 plus6) T)`- due to class description
`OneOf(minus2 plus5 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus4 minus9) T)`- due to class description
`OneOf(minus2 minus4 minus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus6 plus1 plus7) T)`- due to class description
`OneOf(minus6 plus1 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus2 plus3 plus6) T)`- due to class description
`OneOf(plus2 plus3 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus6 plus8) T)`- due to class description
`OneOf(minus3 plus6 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus9 plus7) T)`- due to class description
`OneOf(minus1 minus9 plus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus2 plus2) )`- due to class description
`OneOf(minus2 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus6 minus8) T)`- due to class description
`OneOf(minus3 minus6 minus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus9 plus1) T)`- due to class description
`OneOf(minus2 minus9 plus1)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus8 plus7) T)`- due to class description
`OneOf(minus3 minus8 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 minus9 plus2) T)`- due to class description
`OneOf(minus8 minus9 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus4 plus7) T)`- due to class description
`OneOf(minus1 minus4 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus2 plus3) T)`- due to class description
`OneOf(minus1 minus2 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus2 plus7) T)`- due to class description
`OneOf(minus3 plus2 plus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus4 plus4) )`- due to class description
`OneOf(minus4 plus4)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 plus4 plus7) T)`- due to class description
`OneOf(minus8 plus4 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus2 plus3) T)`- due to class description
`OneOf(minus1 plus2 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus5 plus6) T)`- due to class description
`OneOf(minus7 plus5 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus3 plus6 plus7) T)`- due to class description
`OneOf(plus3 plus6 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus8 plus9) T)`- due to class description
`OneOf(minus1 minus8 plus9)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus9 plus9) )`- due to class description
`OneOf(minus9 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 minus9 plus3) T)`- due to class description
`OneOf(minus7 minus9 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus6 plus7) T)`- due to class description
`OneOf(minus1 plus6 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus2 plus5) T)`- due to class description
`OneOf(minus7 plus2 plus5)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus1 plus9) T)`- due to class description
`OneOf(minus3 plus1 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus6 plus3 plus8) T)`- due to class description
`OneOf(minus6 plus3 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus1 plus4 plus6) T)`- due to class description
`OneOf(plus1 plus4 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus8 minus9) T)`- due to class description
`OneOf(minus2 minus8 minus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 plus1 plus2) T)`- due to class description
`OneOf(minus8 plus1 plus2)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus6 plus6) )`- due to class description
`OneOf(minus6 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus5 plus4) T)`- due to class description
`OneOf(minus3 minus5 plus4)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus5 plus3) T)`- due to class description
`OneOf(minus2 minus5 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 plus3 plus7) T)`- due to class description
`OneOf(minus2 plus3 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 minus6 minus8) T)`- due to class description
`OneOf(minus5 minus6 minus8)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus8 plus8) )`- due to class description
`OneOf(minus8 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus4 minus6 plus8) T)`- due to class description
`OneOf(minus4 minus6 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 minus9 plus7) T)`- due to class description
`OneOf(minus8 minus9 plus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus1 plus1) )`- due to class description
`OneOf(minus1 plus1)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus2 plus9) T)`- due to class description
`OneOf(minus1 minus2 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus3 plus8) T)`- due to class description
`OneOf(minus7 plus3 plus8)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus3 plus3) )`- due to class description
`OneOf(minus3 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus5 plus8) T)`- due to class description
`OneOf(minus1 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus2 plus5 plus8) T)`- due to class description
`OneOf(plus2 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(F T) )`- due to class description
`OneOf(F T)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 plus3 plus8) T)`- due to class description
`OneOf(minus5 plus3 plus8)`

- due to class description

### OWL RL Report (Informative)

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

- The following axiom is not allowed:
`ClassAssertion(OneOf(minus6 plus1 plus7) T)`- due to class description
`OneOf(minus6 plus1 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 minus9 plus3) T)`- due to class description
`OneOf(minus7 minus9 plus3)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus4 plus4) )`- due to class description
`OneOf(minus4 plus4)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 minus9 plus7) T)`- due to class description
`OneOf(minus8 minus9 plus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus7 plus7) )`- due to class description
`OneOf(minus7 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus1 plus9) T)`- due to class description
`OneOf(minus3 plus1 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus2 plus7) T)`- due to class description
`OneOf(minus3 plus2 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus9 plus7) T)`- due to class description
`OneOf(minus1 minus9 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 plus3 plus7) T)`- due to class description
`OneOf(minus2 plus3 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus2 plus3) T)`- due to class description
`OneOf(minus1 minus2 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus2 plus3 plus6) T)`- due to class description
`OneOf(plus2 plus3 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 plus4 plus7) T)`- due to class description
`OneOf(minus8 plus4 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus4 minus6 plus8) T)`- due to class description
`OneOf(minus4 minus6 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus8 minus9) T)`- due to class description
`OneOf(minus2 minus8 minus9)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus5 plus5) )`- due to class description
`OneOf(minus5 plus5)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus3 plus8) T)`- due to class description
`OneOf(minus7 plus3 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus5 plus6) T)`- due to class description
`OneOf(minus7 plus5 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus9 plus3 plus6) T)`- due to class description
`OneOf(minus9 plus3 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus4 minus9) T)`- due to class description
`OneOf(minus2 minus4 minus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus6 plus2) T)`- due to class description
`OneOf(minus3 minus6 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus6 minus8) T)`- due to class description
`OneOf(minus3 minus6 minus8)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(F T) )`- due to class description
`OneOf(F T)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus2 plus2) )`- due to class description
`OneOf(minus2 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus5 plus3) T)`- due to class description
`OneOf(minus2 minus5 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus3 plus6 plus7) T)`- due to class description
`OneOf(plus3 plus6 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 minus9 plus5) T)`- due to class description
`OneOf(minus7 minus9 plus5)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus6 plus3 plus8) T)`- due to class description
`OneOf(minus6 plus3 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus3 minus7) T)`- due to class description
`OneOf(minus2 minus3 minus7)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus3 plus3) )`- due to class description
`OneOf(minus3 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 minus9 plus1) T)`- due to class description
`OneOf(minus2 minus9 plus1)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus1 plus4 plus6) T)`- due to class description
`OneOf(plus1 plus4 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus5 plus8) T)`- due to class description
`OneOf(minus1 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus6 plus7) T)`- due to class description
`OneOf(minus1 plus6 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus2 plus5) T)`- due to class description
`OneOf(minus7 plus2 plus5)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus9 plus9) )`- due to class description
`OneOf(minus9 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 minus9 plus2) T)`- due to class description
`OneOf(minus8 minus9 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus2 plus5 plus8) T)`- due to class description
`OneOf(plus2 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus6 plus6) )`- due to class description
`OneOf(minus6 plus6)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus8 plus8) )`- due to class description
`OneOf(minus8 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 plus3 plus8) T)`- due to class description
`OneOf(minus5 plus3 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus8 plus1 plus2) T)`- due to class description
`OneOf(minus8 plus1 plus2)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus8 plus7) T)`- due to class description
`OneOf(minus3 minus8 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus4 plus7) T)`- due to class description
`OneOf(minus1 minus4 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 minus7 plus1) T)`- due to class description
`OneOf(minus5 minus7 plus1)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(plus4 plus5 plus8) T)`- due to class description
`OneOf(plus4 plus5 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus7 plus4 plus8) T)`- due to class description
`OneOf(minus7 plus4 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 minus6 minus8) T)`- due to class description
`OneOf(minus5 minus6 minus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus2 plus9) T)`- due to class description
`OneOf(minus1 minus2 plus9)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus5 plus4 plus7) T)`- due to class description
`OneOf(minus5 plus4 plus7)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 plus2 plus3) T)`- due to class description
`OneOf(minus1 plus2 plus3)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus1 minus8 plus9) T)`- due to class description
`OneOf(minus1 minus8 plus9)`

- due to class description
- The following axiom is not allowed:
`EquivalentClasses(TorF OneOf(minus1 plus1) )`- due to class description
`OneOf(minus1 plus1)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus2 plus5 plus6) T)`- due to class description
`OneOf(minus2 plus5 plus6)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 plus6 plus8) T)`- due to class description
`OneOf(minus3 plus6 plus8)`

- due to class description
- The following axiom is not allowed:
`ClassAssertion(OneOf(minus3 minus5 plus4) T)`- due to class description
`OneOf(minus3 minus5 plus4)`

- due to class description