TestCase:WebOnt-description-logic-501
From OWL
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)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 minus9 plus3) T)
- due to class description OneOf(minus7 minus9 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(plus4 plus5 plus8) T)
- due to class description OneOf(plus4 plus5 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus5 plus4) T)
- due to class description OneOf(minus3 minus5 plus4)
- The following axiom is not allowed: EquivalentClasses(TorF OneOf(minus7 plus7) )
- due to class description OneOf(minus7 plus7)
- 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(minus9 plus3 plus6) T)
- due to class description OneOf(minus9 plus3 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus8 plus7) T)
- due to class description OneOf(minus3 minus8 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus4 minus9) T)
- due to class description OneOf(minus2 minus4 minus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus2 plus3) T)
- due to class description OneOf(minus1 plus2 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus7 plus1) T)
- due to class description OneOf(minus5 minus7 plus1)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 plus5 plus6) T)
- due to class description OneOf(minus2 plus5 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus6 minus8) T)
- due to class description OneOf(minus3 minus6 minus8)
- 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)
- 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(F T) )
- due to class description OneOf(F T)
- The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus5 plus8) T)
- due to class description OneOf(plus2 plus5 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus6 minus8) T)
- due to class description OneOf(minus5 minus6 minus8)
- 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(minus3 plus2 plus7) T)
- due to class description OneOf(minus3 plus2 plus7)
- 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(minus5 plus4 plus7) T)
- due to class description OneOf(minus5 plus4 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus5 plus3) T)
- due to class description OneOf(minus2 minus5 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus2 plus3) T)
- due to class description OneOf(minus1 minus2 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus1 plus2) T)
- due to class description OneOf(minus8 plus1 plus2)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus8 plus9) T)
- due to class description OneOf(minus1 minus8 plus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus3 plus8) T)
- due to class description OneOf(minus6 plus3 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus3 minus7) T)
- due to class description OneOf(minus2 minus3 minus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus8 minus9) T)
- due to class description OneOf(minus2 minus8 minus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus1 plus9) T)
- due to class description OneOf(minus3 plus1 plus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus8 minus9 plus7) T)
- due to class description OneOf(minus8 minus9 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus5 plus8) T)
- due to class description OneOf(minus1 plus5 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus2 plus9) T)
- due to class description OneOf(minus1 minus2 plus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus6 plus7) T)
- due to class description OneOf(minus1 plus6 plus7)
- 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 minus9 plus2) T)
- due to class description OneOf(minus8 minus9 plus2)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus9 plus7) T)
- due to class description OneOf(minus1 minus9 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus4 plus7) T)
- due to class description OneOf(minus8 plus4 plus7)
- 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(minus2 minus9 plus1) T)
- due to class description OneOf(minus2 minus9 plus1)
- The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus4 plus6) T)
- due to class description OneOf(plus1 plus4 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus4 plus7) T)
- due to class description OneOf(minus1 minus4 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus6 plus8) T)
- due to class description OneOf(minus4 minus6 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus6 plus7) T)
- due to class description OneOf(plus3 plus6 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 minus9 plus5) T)
- due to class description OneOf(minus7 minus9 plus5)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus4 plus8) T)
- due to class description OneOf(minus7 plus4 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus3 plus6) T)
- due to class description OneOf(plus2 plus3 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: EquivalentClasses(TorF OneOf(minus8 plus8) )
- due to class description OneOf(minus8 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 plus3 plus7) T)
- due to class description OneOf(minus2 plus3 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus1 plus7) T)
- due to class description OneOf(minus6 plus1 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus6 plus2) T)
- due to class description OneOf(minus3 minus6 plus2)
- 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(minus3 plus6 plus8) T)
- due to class description OneOf(minus3 plus6 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus5 plus6) T)
- due to class description OneOf(minus7 plus5 plus6)
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)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus4 plus7) T)
- due to class description OneOf(minus5 plus4 plus7)
- 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 minus6 plus2) T)
- due to class description OneOf(minus3 minus6 plus2)
- 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(minus7 plus4 plus8) T)
- due to class description OneOf(minus7 plus4 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus9 plus3 plus6) T)
- due to class description OneOf(minus9 plus3 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus7 plus1) T)
- due to class description OneOf(minus5 minus7 plus1)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 minus9 plus5) T)
- due to class description OneOf(minus7 minus9 plus5)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus3 minus7) T)
- due to class description OneOf(minus2 minus3 minus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 plus5 plus6) T)
- due to class description OneOf(minus2 plus5 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus4 minus9) T)
- due to class description OneOf(minus2 minus4 minus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus1 plus7) T)
- due to class description OneOf(minus6 plus1 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus3 plus6) T)
- due to class description OneOf(plus2 plus3 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus6 plus8) T)
- due to class description OneOf(minus3 plus6 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus9 plus7) T)
- due to class description OneOf(minus1 minus9 plus7)
- 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(minus3 minus6 minus8) T)
- due to class description OneOf(minus3 minus6 minus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus9 plus1) T)
- due to class description OneOf(minus2 minus9 plus1)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus8 plus7) T)
- due to class description OneOf(minus3 minus8 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus8 minus9 plus2) T)
- due to class description OneOf(minus8 minus9 plus2)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus4 plus7) T)
- due to class description OneOf(minus1 minus4 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus2 plus3) T)
- due to class description OneOf(minus1 minus2 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus2 plus7) T)
- due to class description OneOf(minus3 plus2 plus7)
- 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 plus7) T)
- due to class description OneOf(minus8 plus4 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus2 plus3) T)
- due to class description OneOf(minus1 plus2 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus5 plus6) T)
- due to class description OneOf(minus7 plus5 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus6 plus7) T)
- due to class description OneOf(plus3 plus6 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus8 plus9) T)
- due to class description OneOf(minus1 minus8 plus9)
- 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(minus7 minus9 plus3) T)
- due to class description OneOf(minus7 minus9 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus6 plus7) T)
- due to class description OneOf(minus1 plus6 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus2 plus5) T)
- due to class description OneOf(minus7 plus2 plus5)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus1 plus9) T)
- due to class description OneOf(minus3 plus1 plus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus3 plus8) T)
- due to class description OneOf(minus6 plus3 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus4 plus6) T)
- due to class description OneOf(plus1 plus4 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus8 minus9) T)
- due to class description OneOf(minus2 minus8 minus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus1 plus2) T)
- due to class description OneOf(minus8 plus1 plus2)
- 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 minus5 plus4) T)
- due to class description OneOf(minus3 minus5 plus4)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus5 plus3) T)
- due to class description OneOf(minus2 minus5 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 plus3 plus7) T)
- due to class description OneOf(minus2 plus3 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus6 minus8) T)
- due to class description OneOf(minus5 minus6 minus8)
- 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 minus6 plus8) T)
- due to class description OneOf(minus4 minus6 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus8 minus9 plus7) T)
- due to class description OneOf(minus8 minus9 plus7)
- 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(minus1 minus2 plus9) T)
- due to class description OneOf(minus1 minus2 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: EquivalentClasses(TorF OneOf(minus3 plus3) )
- due to class description OneOf(minus3 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus5 plus8) T)
- due to class description OneOf(minus1 plus5 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus5 plus8) T)
- due to class description OneOf(plus2 plus5 plus8)
- 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(minus5 plus3 plus8) T)
- due to class description OneOf(minus5 plus3 plus8)
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)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 minus9 plus3) T)
- due to class description OneOf(minus7 minus9 plus3)
- 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 minus9 plus7) T)
- due to class description OneOf(minus8 minus9 plus7)
- 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(minus3 plus1 plus9) T)
- due to class description OneOf(minus3 plus1 plus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus2 plus7) T)
- due to class description OneOf(minus3 plus2 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus9 plus7) T)
- due to class description OneOf(minus1 minus9 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 plus3 plus7) T)
- due to class description OneOf(minus2 plus3 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus2 plus3) T)
- due to class description OneOf(minus1 minus2 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus3 plus6) T)
- due to class description OneOf(plus2 plus3 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus4 plus7) T)
- due to class description OneOf(minus8 plus4 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus4 minus6 plus8) T)
- due to class description OneOf(minus4 minus6 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus8 minus9) T)
- due to class description OneOf(minus2 minus8 minus9)
- 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(minus7 plus3 plus8) T)
- due to class description OneOf(minus7 plus3 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus5 plus6) T)
- due to class description OneOf(minus7 plus5 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus9 plus3 plus6) T)
- due to class description OneOf(minus9 plus3 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus4 minus9) T)
- due to class description OneOf(minus2 minus4 minus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus6 plus2) T)
- due to class description OneOf(minus3 minus6 plus2)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus6 minus8) T)
- due to class description OneOf(minus3 minus6 minus8)
- The following axiom is not allowed: EquivalentClasses(TorF OneOf(F T) )
- due to class description OneOf(F T)
- 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(minus2 minus5 plus3) T)
- due to class description OneOf(minus2 minus5 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(plus3 plus6 plus7) T)
- due to class description OneOf(plus3 plus6 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 minus9 plus5) T)
- due to class description OneOf(minus7 minus9 plus5)
- The following axiom is not allowed: ClassAssertion(OneOf(minus6 plus3 plus8) T)
- due to class description OneOf(minus6 plus3 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus2 minus3 minus7) T)
- due to class description OneOf(minus2 minus3 minus7)
- 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(minus2 minus9 plus1) T)
- due to class description OneOf(minus2 minus9 plus1)
- The following axiom is not allowed: ClassAssertion(OneOf(plus1 plus4 plus6) T)
- due to class description OneOf(plus1 plus4 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus5 plus8) T)
- due to class description OneOf(minus1 plus5 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus6 plus7) T)
- due to class description OneOf(minus1 plus6 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus2 plus5) T)
- due to class description OneOf(minus7 plus2 plus5)
- 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(minus8 minus9 plus2) T)
- due to class description OneOf(minus8 minus9 plus2)
- The following axiom is not allowed: ClassAssertion(OneOf(plus2 plus5 plus8) T)
- due to class description OneOf(plus2 plus5 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: EquivalentClasses(TorF OneOf(minus8 plus8) )
- due to class description OneOf(minus8 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus3 plus8) T)
- due to class description OneOf(minus5 plus3 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus8 plus1 plus2) T)
- due to class description OneOf(minus8 plus1 plus2)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus8 plus7) T)
- due to class description OneOf(minus3 minus8 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus4 plus7) T)
- due to class description OneOf(minus1 minus4 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus7 plus1) T)
- due to class description OneOf(minus5 minus7 plus1)
- The following axiom is not allowed: ClassAssertion(OneOf(plus4 plus5 plus8) T)
- due to class description OneOf(plus4 plus5 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus7 plus4 plus8) T)
- due to class description OneOf(minus7 plus4 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 minus6 minus8) T)
- due to class description OneOf(minus5 minus6 minus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus2 plus9) T)
- due to class description OneOf(minus1 minus2 plus9)
- The following axiom is not allowed: ClassAssertion(OneOf(minus5 plus4 plus7) T)
- due to class description OneOf(minus5 plus4 plus7)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 plus2 plus3) T)
- due to class description OneOf(minus1 plus2 plus3)
- The following axiom is not allowed: ClassAssertion(OneOf(minus1 minus8 plus9) T)
- due to class description OneOf(minus1 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(minus2 plus5 plus6) T)
- due to class description OneOf(minus2 plus5 plus6)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 plus6 plus8) T)
- due to class description OneOf(minus3 plus6 plus8)
- The following axiom is not allowed: ClassAssertion(OneOf(minus3 minus5 plus4) T)
- due to class description OneOf(minus3 minus5 plus4)
Facts about TestCase:WebOnt-description-logic-501OWL
| Has author | Jeremy Carroll + |
| Premise ontology | [[:<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent501" > <owl:Class rdf:ID='TorF'> <owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:ID='T'>
<owl:differentFrom rdf:resource='#F'/>
</owl:Thing>
<owl:Thing rdf:ID='F'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus1'/>
<owl:Thing rdf:about='#minus1'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus2'/>
<owl:Thing rdf:about='#minus2'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus3'/>
<owl:Thing rdf:about='#minus3'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus4'/>
<owl:Thing rdf:about='#minus4'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus5'/>
<owl:Thing rdf:about='#minus5'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus6'/>
<owl:Thing rdf:about='#minus6'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus7'/>
<owl:Thing rdf:about='#minus7'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus8'/>
<owl:Thing rdf:about='#minus8'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus9'/>
<owl:Thing rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus9'/>
<rdf:Description rdf:about='#minus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#minus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus4'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus1'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#plus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#minus6'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus3'/>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#plus7'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus3'/>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#plus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus4'/>
<rdf:Description rdf:about='#minus6'/>
<rdf:Description rdf:about='#plus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#plus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus5'/>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#plus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus6'/>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#minus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus9'/>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#minus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus6'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#plus9'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#minus9'/>
<rdf:Description rdf:about='#minus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus9'/>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#plus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#plus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#plus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus3'/>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#minus6'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#minus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus5'/>
<rdf:Description rdf:about='#plus4'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus1'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#plus6'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus7'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#plus9'/>
<rdf:Description rdf:about='#minus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#minus9'/>
<rdf:Description rdf:about='#minus7'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#minus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#plus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#plus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#minus6'/>
<rdf:Description rdf:about='#plus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#plus6'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#minus4'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> </rdf:RDF>|<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent501" > <owl:Class rdf:ID='TorF'> <owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:ID='T'>
<owl:differentFrom rdf:resource='#F'/>
</owl:Thing>
<owl:Thing rdf:ID='F'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus1'/>
<owl:Thing rdf:about='#minus1'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus2'/>
<owl:Thing rdf:about='#minus2'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus3'/>
<owl:Thing rdf:about='#minus3'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus4'/>
<owl:Thing rdf:about='#minus4'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus5'/>
<owl:Thing rdf:about='#minus5'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus6'/>
<owl:Thing rdf:about='#minus6'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus7'/>
<owl:Thing rdf:about='#minus7'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus8'/>
<owl:Thing rdf:about='#minus8'/>
</owl:oneOf>
<owl:oneOf rdf:parseType='Collection'>
<owl:Thing rdf:about='#plus9'/>
<owl:Thing rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus9'/>
<rdf:Description rdf:about='#minus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#minus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus4'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus1'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#plus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#minus6'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus3'/>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#plus7'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus3'/>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#plus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus4'/>
<rdf:Description rdf:about='#minus6'/>
<rdf:Description rdf:about='#plus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#plus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus5'/>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#plus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus6'/>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#minus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus9'/>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#minus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus6'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#plus9'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#minus9'/>
<rdf:Description rdf:about='#minus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus9'/>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#plus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#plus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus8'/>
<rdf:Description rdf:about='#plus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus3'/>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#minus6'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#minus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus5'/>
<rdf:Description rdf:about='#plus4'/>
<rdf:Description rdf:about='#minus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus1'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#plus7'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#plus2'/>
<rdf:Description rdf:about='#plus6'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus7'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#plus9'/>
<rdf:Description rdf:about='#minus8'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#minus9'/>
<rdf:Description rdf:about='#minus7'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus1'/>
<rdf:Description rdf:about='#minus2'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#plus1'/>
<rdf:Description rdf:about='#plus4'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus6'/>
<rdf:Description rdf:about='#minus7'/>
<rdf:Description rdf:about='#plus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#minus6'/>
<rdf:Description rdf:about='#plus3'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus5'/>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#plus6'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#plus8'/>
<rdf:Description rdf:about='#plus3'/>
<rdf:Description rdf:about='#minus5'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> <rdf:Description rdf:about='#T'> <rdf:type>
<owl:Class>
<owl:oneOf rdf:parseType='Collection'>
<rdf:Description rdf:about='#minus2'/>
<rdf:Description rdf:about='#minus4'/>
<rdf:Description rdf:about='#minus9'/>
</owl:oneOf>
</owl:Class>
</rdf:type>
</rdf:Description> </rdf:RDF>]] + |
| Test case author | Jeremy J. Carroll + |
| Test case description | This is the classic 3 SAT problem. + |
| Test case id | WebOnt-description-logic-501 + |
| Test case semantics | Test:DL +, and Test:FULL + |
| Test case species | Test:DL + |
| Test case syntax | Test:RDFXML + |
| WebOnt test | http://www.w3.org/2002/03owlt/description-logic/Manifest501#test + |
