TestCase:WebOnt-description-logic-501

From OWL Test Cases

Jump to:navigation, search

Consistent ontology (download) Convert syntax: functional, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. Open in RDF Validator
[Download OWL]
Test Id	WebOnt-description-logic-501
Description	This is the classic 3 SAT problem.
Status	Approved (2009-01-07) (proposed 2009-01-05)
Author	Jeremy J. Carroll
Original syntax	RDF-XML
Syntactic Species/Profile	OWL 2 DL (not EL, not QL, not RL)
Semantics	This test is applicable under both direct and RDF-based semantics.
WebOnt test	http://www.w3.org/2002/03owlt/description-logic/Manifest501#test
<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:Ontology/> <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>
Imported ontologies	none

The version of this test approved by the WebOnt WG was incorrect. The input ontology present in that version of the test was marked as an OWL DL document, but was not OWL DL because it did not contain a triple of the form O rdf:type owl:Ontology. The ontology has been revised to contain the necessary triple.

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)

TestCase:WebOnt-description-logic-501

From OWL Test Cases

OWL EL Report (Informative)

OWL QL Report (Informative)

OWL RL Report (Informative)

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

OWL 2 Informative

OWL 2 Normative

Toolbox