TestCase:WebOnt-description-logic-504

From OWL Test Cases

Jump to:navigation, search

Inconsistent 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-504
Description	This is a different encoding of test 502.
Status	Approved (2009-01-07) (proposed 2009-01-05)
Author	Ian Horrocks
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/Manifest504#test
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/description-logic/inconsistent504#" xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent504" > <owl:Ontology/> <first:Test /> <owl:Class rdf:about='#plus1'> <owl:disjointWith> <owl:Class rdf:about='#minus1'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#plus2'> <owl:disjointWith> <owl:Class rdf:about='#minus2'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#plus3'> <owl:disjointWith> <owl:Class rdf:about='#minus3'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#plus4'> <owl:disjointWith> <owl:Class rdf:about='#minus4'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#plus5'> <owl:disjointWith> <owl:Class rdf:about='#minus5'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#plus6'> <owl:disjointWith> <owl:Class rdf:about='#minus6'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#plus7'> <owl:disjointWith> <owl:Class rdf:about='#minus7'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#plus8'> <owl:disjointWith> <owl:Class rdf:about='#minus8'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#plus9'> <owl:disjointWith> <owl:Class rdf:about='#minus9'/> </owl:disjointWith> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus1'/> <rdf:Description rdf:about='#plus2'/> <rdf:Description rdf:about='#minus4'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus3'/> <rdf:Description rdf:about='#plus6'/> <rdf:Description rdf:about='#minus4'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus9'/> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#plus5'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus4'/> <rdf:Description rdf:about='#minus6'/> <rdf:Description rdf:about='#minus2'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus2'/> <rdf:Description rdf:about='#minus3'/> <rdf:Description rdf:about='#plus1'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus3'/> <rdf:Description rdf:about='#plus8'/> <rdf:Description rdf:about='#plus7'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus8'/> <rdf:Description rdf:about='#minus2'/> <rdf:Description rdf:about='#plus3'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus7'/> <rdf:Description rdf:about='#minus6'/> <rdf:Description rdf:about='#plus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus1'/> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#minus6'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus8'/> <rdf:Description rdf:about='#minus5'/> <rdf:Description rdf:about='#minus3'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus4'/> <rdf:Description rdf:about='#plus3'/> <rdf:Description rdf:about='#plus6'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus2'/> <rdf:Description rdf:about='#minus1'/> <rdf:Description rdf:about='#plus4'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus3'/> <rdf:Description rdf:about='#plus8'/> <rdf:Description rdf:about='#plus2'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus6'/> <rdf:Description rdf:about='#minus2'/> <rdf:Description rdf:about='#plus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus7'/> <rdf:Description rdf:about='#minus9'/> <rdf:Description rdf:about='#minus2'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus2'/> <rdf:Description rdf:about='#minus5'/> <rdf:Description rdf:about='#minus7'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus5'/> <rdf:Description rdf:about='#plus2'/> <rdf:Description rdf:about='#plus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus6'/> <rdf:Description rdf:about='#minus2'/> <rdf:Description rdf:about='#minus7'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus9'/> <rdf:Description rdf:about='#plus3'/> <rdf:Description rdf:about='#minus2'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus1'/> <rdf:Description rdf:about='#plus7'/> <rdf:Description rdf:about='#plus4'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#plus1'/> <rdf:Description rdf:about='#plus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus2'/> <rdf:Description rdf:about='#plus1'/> <rdf:Description rdf:about='#minus6'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus7'/> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#plus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus5'/> <rdf:Description rdf:about='#plus3'/> <rdf:Description rdf:about='#minus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#plus9'/> <rdf:Description rdf:about='#minus8'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus4'/> <rdf:Description rdf:about='#plus3'/> <rdf:Description rdf:about='#plus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus7'/> <rdf:Description rdf:about='#plus9'/> <rdf:Description rdf:about='#plus5'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus4'/> <rdf:Description rdf:about='#plus1'/> <rdf:Description rdf:about='#plus3'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus5'/> <rdf:Description rdf:about='#plus8'/> <rdf:Description rdf:about='#plus7'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus8'/> <rdf:Description rdf:about='#minus7'/> <rdf:Description rdf:about='#plus3'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus4'/> <rdf:Description rdf:about='#minus8'/> <rdf:Description rdf:about='#plus6'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus4'/> <rdf:Description rdf:about='#plus6'/> <rdf:Description rdf:about='#minus5'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus6'/> <rdf:Description rdf:about='#plus1'/> <rdf:Description rdf:about='#minus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus1'/> <rdf:Description rdf:about='#plus9'/> <rdf:Description rdf:about='#minus6'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus9'/> <rdf:Description rdf:about='#minus8'/> <rdf:Description rdf:about='#plus3'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus6'/> <rdf:Description rdf:about='#plus3'/> <rdf:Description rdf:about='#minus4'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus8'/> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#plus6'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus3'/> <rdf:Description rdf:about='#plus5'/> <rdf:Description rdf:about='#minus8'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus9'/> <rdf:Description rdf:about='#plus4'/> <rdf:Description rdf:about='#plus3'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus8'/> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#plus2'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus5'/> <rdf:Description rdf:about='#minus2'/> <rdf:Description rdf:about='#minus9'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus7'/> <rdf:Description rdf:about='#minus3'/> <rdf:Description rdf:about='#minus4'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#minus9'/> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#minus8'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus6'/> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#minus1'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about='#Test'> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType='Collection'> <rdf:Description rdf:about='#plus6'/> <rdf:Description rdf:about='#minus7'/> <rdf:Description rdf:about='#minus8'/> </owl:unionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> </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: SubClassOf(Test UnionOf(minus3 plus2 plus8))
- due to class description UnionOf(minus3 plus2 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus7 plus2))
- due to class description UnionOf(minus5 minus7 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus5 minus9))
- due to class description UnionOf(minus2 minus5 minus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus7))
- due to class description UnionOf(minus2 minus9 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus7 plus6))
- due to class description UnionOf(minus2 minus7 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 minus9 plus1))
- due to class description UnionOf(minus6 minus9 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus6 plus1))
- due to class description UnionOf(minus4 minus6 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus7 plus9))
- due to class description UnionOf(minus4 plus7 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus9))
- due to class description UnionOf(minus6 plus1 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus1 plus9))
- due to class description UnionOf(minus4 plus1 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus2 plus8))
- due to class description UnionOf(minus4 plus2 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus4 plus6))
- due to class description UnionOf(minus5 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus5 minus8))
- due to class description UnionOf(minus3 minus5 minus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus4 plus6))
- due to class description UnionOf(minus1 minus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus6 plus8))
- due to class description UnionOf(minus4 plus6 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus3 plus6))
- due to class description UnionOf(minus4 plus3 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus5 plus9))
- due to class description UnionOf(plus2 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus7 plus8))
- due to class description UnionOf(minus5 plus7 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus4 plus6))
- due to class description UnionOf(minus3 minus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus8 plus5))
- due to class description UnionOf(minus3 minus8 plus5)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus8 plus3))
- due to class description UnionOf(minus2 minus8 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus4 plus6))
- due to class description UnionOf(plus3 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus8 plus9))
- due to class description UnionOf(minus4 minus8 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus8 plus6))
- due to class description UnionOf(minus7 minus8 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus4 plus9))
- due to class description UnionOf(plus3 plus4 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus3 plus8))
- due to class description UnionOf(minus7 plus3 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus7 plus8))
- due to class description UnionOf(minus3 plus7 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus6 plus9))
- due to class description UnionOf(minus2 plus6 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus3 plus1))
- due to class description UnionOf(minus2 minus3 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus4 plus6))
- due to class description UnionOf(minus8 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus4 minus7))
- due to class description UnionOf(minus3 minus4 minus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus1 plus2))
- due to class description UnionOf(minus4 plus1 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus3))
- due to class description UnionOf(minus2 minus9 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus8 minus9))
- due to class description UnionOf(minus4 minus8 minus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus3 plus4))
- due to class description UnionOf(plus1 plus3 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus6 plus4))
- due to class description UnionOf(minus2 minus6 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus3 plus9))
- due to class description UnionOf(minus8 plus3 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus2))
- due to class description UnionOf(minus6 plus1 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus4 plus7))
- due to class description UnionOf(plus1 plus4 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus2 plus4))
- due to class description UnionOf(minus1 plus2 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 minus7 plus9))
- due to class description UnionOf(minus6 minus7 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus9 plus3))
- due to class description UnionOf(minus5 minus9 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus5 plus9))
- due to class description UnionOf(minus7 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus5 plus9))
- due to class description UnionOf(minus4 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus9 plus3 plus4))
- due to class description UnionOf(minus9 plus3 plus4)

OWL QL Report (Informative)

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

The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus6 plus8))
- due to class description UnionOf(minus4 plus6 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus8 plus5))
- due to class description UnionOf(minus3 minus8 plus5)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus8 minus9))
- due to class description UnionOf(minus4 minus8 minus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus6 plus4))
- due to class description UnionOf(minus2 minus6 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus4 minus7))
- due to class description UnionOf(minus3 minus4 minus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 minus7 plus9))
- due to class description UnionOf(minus6 minus7 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus7 plus2))
- due to class description UnionOf(minus5 minus7 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus8 plus9))
- due to class description UnionOf(minus4 minus8 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus6 plus9))
- due to class description UnionOf(minus2 plus6 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus2 plus8))
- due to class description UnionOf(minus4 plus2 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus7 plus8))
- due to class description UnionOf(minus5 plus7 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus4 plus7))
- due to class description UnionOf(plus1 plus4 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus1 plus2))
- due to class description UnionOf(minus4 plus1 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus2 plus4))
- due to class description UnionOf(minus1 plus2 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus3 plus4))
- due to class description UnionOf(plus1 plus3 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus4 plus9))
- due to class description UnionOf(plus3 plus4 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus9 plus3))
- due to class description UnionOf(minus5 minus9 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus8 plus3))
- due to class description UnionOf(minus2 minus8 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus7 plus9))
- due to class description UnionOf(minus4 plus7 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus7))
- due to class description UnionOf(minus2 minus9 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus7 plus8))
- due to class description UnionOf(minus3 plus7 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus4 plus6))
- due to class description UnionOf(minus5 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus4 plus6))
- due to class description UnionOf(minus1 minus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus2))
- due to class description UnionOf(minus6 plus1 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus9 plus3 plus4))
- due to class description UnionOf(minus9 plus3 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus8 plus6))
- due to class description UnionOf(minus7 minus8 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus7 plus6))
- due to class description UnionOf(minus2 minus7 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus3 plus6))
- due to class description UnionOf(minus4 plus3 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus2 plus8))
- due to class description UnionOf(minus3 plus2 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus4 plus6))
- due to class description UnionOf(plus3 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus9))
- due to class description UnionOf(minus6 plus1 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus5 plus9))
- due to class description UnionOf(minus4 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus5 plus9))
- due to class description UnionOf(plus2 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus4 plus6))
- due to class description UnionOf(minus3 minus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus5 plus9))
- due to class description UnionOf(minus7 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus1 plus9))
- due to class description UnionOf(minus4 plus1 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus3 plus8))
- due to class description UnionOf(minus7 plus3 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus3 plus1))
- due to class description UnionOf(minus2 minus3 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus3 plus9))
- due to class description UnionOf(minus8 plus3 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus3))
- due to class description UnionOf(minus2 minus9 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus4 plus6))
- due to class description UnionOf(minus8 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus5 minus9))
- due to class description UnionOf(minus2 minus5 minus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus6 plus1))
- due to class description UnionOf(minus4 minus6 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus5 minus8))
- due to class description UnionOf(minus3 minus5 minus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 minus9 plus1))
- due to class description UnionOf(minus6 minus9 plus1)

OWL RL Report (Informative)

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

The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus2 plus4))
- due to class description UnionOf(minus1 plus2 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus1 plus2))
- due to class description UnionOf(minus4 plus1 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 minus9 plus1))
- due to class description UnionOf(minus6 minus9 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus4 plus6))
- due to class description UnionOf(minus1 minus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus4 plus6))
- due to class description UnionOf(minus8 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus3 plus4))
- due to class description UnionOf(plus1 plus3 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus2))
- due to class description UnionOf(minus6 plus1 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus3))
- due to class description UnionOf(minus2 minus9 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus6 plus8))
- due to class description UnionOf(minus4 plus6 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus5 minus8))
- due to class description UnionOf(minus3 minus5 minus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus6 plus4))
- due to class description UnionOf(minus2 minus6 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus7 plus8))
- due to class description UnionOf(minus5 plus7 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus7 plus9))
- due to class description UnionOf(minus4 plus7 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus8 plus9))
- due to class description UnionOf(minus4 minus8 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus4 minus7))
- due to class description UnionOf(minus3 minus4 minus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus4 plus6))
- due to class description UnionOf(minus5 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 minus7 plus9))
- due to class description UnionOf(minus6 minus7 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus7 plus2))
- due to class description UnionOf(minus5 minus7 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus5 plus9))
- due to class description UnionOf(plus2 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus4 plus7))
- due to class description UnionOf(plus1 plus4 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus3 plus6))
- due to class description UnionOf(minus4 plus3 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus2 plus8))
- due to class description UnionOf(minus3 plus2 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus4 plus9))
- due to class description UnionOf(plus3 plus4 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus8 plus3))
- due to class description UnionOf(minus2 minus8 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus7 plus8))
- due to class description UnionOf(minus3 plus7 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus5 plus9))
- due to class description UnionOf(minus7 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus9))
- due to class description UnionOf(minus6 plus1 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus9 plus3 plus4))
- due to class description UnionOf(minus9 plus3 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus6 plus1))
- due to class description UnionOf(minus4 minus6 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus8 plus6))
- due to class description UnionOf(minus7 minus8 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus2 plus8))
- due to class description UnionOf(minus4 plus2 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus3 plus1))
- due to class description UnionOf(minus2 minus3 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus6 plus9))
- due to class description UnionOf(minus2 plus6 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus5 plus9))
- due to class description UnionOf(minus4 plus5 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus5 minus9))
- due to class description UnionOf(minus2 minus5 minus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus3 plus9))
- due to class description UnionOf(minus8 plus3 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus7 plus6))
- due to class description UnionOf(minus2 minus7 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus7))
- due to class description UnionOf(minus2 minus9 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus8 plus5))
- due to class description UnionOf(minus3 minus8 plus5)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus8 minus9))
- due to class description UnionOf(minus4 minus8 minus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus4 plus6))
- due to class description UnionOf(plus3 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus3 plus8))
- due to class description UnionOf(minus7 plus3 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus9 plus3))
- due to class description UnionOf(minus5 minus9 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 plus1 plus9))
- due to class description UnionOf(minus4 plus1 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus4 plus6))
- due to class description UnionOf(minus3 minus4 plus6)

TestCase:WebOnt-description-logic-504

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