TestCase:WebOnt-description-logic-503

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-503
Description	This is a different encoding of test 501.
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/Manifest503#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/consistent503#" xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent503" > <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='#plus7'/> <rdf:Description rdf:about='#minus9'/> <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='#plus1'/> <rdf:Description rdf:about='#plus2'/> <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='#plus7'/> <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='#plus2'/> <rdf:Description rdf:about='#plus3'/> <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='#minus1'/> <rdf:Description rdf:about='#plus5'/> <rdf:Description rdf:about='#plus8'/> </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='#minus6'/> <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='#minus3'/> <rdf:Description rdf:about='#minus8'/> <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='#minus3'/> <rdf:Description rdf:about='#plus6'/> <rdf:Description rdf:about='#plus8'/> </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='#minus6'/> <rdf:Description rdf:about='#plus8'/> </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='#plus7'/> <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='#plus3'/> <rdf:Description rdf:about='#plus6'/> <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='#minus5'/> <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='#plus5'/> <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='#minus2'/> <rdf:Description rdf:about='#minus7'/> <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='#minus6'/> <rdf:Description rdf:about='#minus8'/> <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='#plus2'/> <rdf:Description rdf:about='#plus7'/> <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='#plus9'/> <rdf:Description rdf:about='#minus1'/> <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='#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='#plus1'/> <rdf:Description rdf:about='#plus9'/> <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='#minus8'/> <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='#minus9'/> <rdf:Description rdf:about='#minus8'/> <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='#plus5'/> <rdf:Description rdf:about='#plus8'/> <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='#minus7'/> <rdf:Description rdf:about='#plus2'/> <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='#minus1'/> <rdf:Description rdf:about='#plus7'/> <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='#plus7'/> <rdf:Description rdf:about='#minus8'/> <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='#plus2'/> <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='#plus1'/> <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='#plus7'/> <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='#minus7'/> <rdf:Description rdf:about='#plus8'/> <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='#plus1'/> <rdf:Description rdf:about='#minus7'/> <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='#minus5'/> <rdf:Description rdf:about='#plus4'/> <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='#plus6'/> <rdf:Description rdf:about='#plus7'/> <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='#minus1'/> <rdf:Description rdf:about='#plus7'/> <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='#plus3'/> <rdf:Description rdf:about='#plus2'/> <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='#plus8'/> <rdf:Description rdf:about='#plus3'/> <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='#minus1'/> <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='#plus5'/> <rdf:Description rdf:about='#minus9'/> <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='#minus7'/> <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='#plus3'/> <rdf:Description rdf:about='#minus1'/> <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='#plus6'/> <rdf:Description rdf:about='#plus1'/> <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='#plus6'/> <rdf:Description rdf:about='#minus7'/> <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='#plus8'/> <rdf:Description rdf:about='#minus6'/> <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='#plus5'/> <rdf:Description rdf:about='#minus2'/> <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='#plus8'/> <rdf:Description rdf:about='#plus3'/> <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='#minus2'/> <rdf:Description rdf:about='#minus4'/> <rdf:Description rdf:about='#minus9'/> </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 plus1 plus9))
- due to class description UnionOf(minus3 plus1 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus4 plus7))
- due to class description UnionOf(minus8 plus4 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus5 plus8))
- due to class description UnionOf(plus2 plus5 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus7 plus1))
- due to class description UnionOf(minus5 minus7 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus4 plus5 plus8))
- due to class description UnionOf(plus4 plus5 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus8 minus9))
- due to class description UnionOf(minus2 minus8 minus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus4 plus7))
- due to class description UnionOf(minus1 minus4 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus5 plus6))
- due to class description UnionOf(minus7 plus5 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus9 plus5))
- due to class description UnionOf(minus7 minus9 plus5)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus2 plus5))
- due to class description UnionOf(minus7 plus2 plus5)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus6 plus2))
- due to class description UnionOf(minus3 minus6 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 minus6 minus8))
- due to class description UnionOf(minus5 minus6 minus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 plus4 plus8))
- due to class description UnionOf(minus7 plus4 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus2 plus3))
- due to class description UnionOf(minus1 plus2 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus8 plus7))
- due to class description UnionOf(minus3 minus8 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus1 plus4 plus6))
- due to class description UnionOf(plus1 plus4 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus5 plus3))
- due to class description UnionOf(minus2 minus5 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus9 plus3 plus6))
- due to class description UnionOf(minus9 plus3 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus2 plus3 plus6))
- due to class description UnionOf(plus2 plus3 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus3 plus8))
- due to class description UnionOf(minus6 plus3 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus9 plus7))
- due to class description UnionOf(minus1 minus9 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus3 plus8))
- due to class description UnionOf(minus5 plus3 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 minus9 plus2))
- due to class description UnionOf(minus8 minus9 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus7 minus9 plus3))
- due to class description UnionOf(minus7 minus9 plus3)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus5 plus4))
- due to class description UnionOf(minus3 minus5 plus4)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus2 plus9))
- due to class description UnionOf(minus1 minus2 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus6 plus7))
- due to class description UnionOf(minus1 plus6 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 plus5 plus8))
- due to class description UnionOf(minus1 plus5 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus8 plus9))
- due to class description UnionOf(minus1 minus8 plus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 minus6 minus8))
- due to class description UnionOf(minus3 minus6 minus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus4 minus6 plus8))
- due to class description UnionOf(minus4 minus6 plus8)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 minus9 plus7))
- due to class description UnionOf(minus8 minus9 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus3 plus7))
- due to class description UnionOf(minus2 plus3 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus3 minus7))
- due to class description UnionOf(minus2 minus3 minus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus5 plus4 plus7))
- due to class description UnionOf(minus5 plus4 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 plus5 plus6))
- due to class description UnionOf(minus2 plus5 plus6)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus6 plus8))
- due to class description UnionOf(minus3 plus6 plus8)
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 minus4 minus9))
- due to class description UnionOf(minus2 minus4 minus9)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus8 plus1 plus2))
- due to class description UnionOf(minus8 plus1 plus2)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus2 minus9 plus1))
- due to class description UnionOf(minus2 minus9 plus1)
The following axiom is not allowed: SubClassOf(Test UnionOf(plus3 plus6 plus7))
- due to class description UnionOf(plus3 plus6 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus3 plus2 plus7))
- due to class description UnionOf(minus3 plus2 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus6 plus1 plus7))
- due to class description UnionOf(minus6 plus1 plus7)
The following axiom is not allowed: SubClassOf(Test UnionOf(minus1 minus2 plus3))
- due to class description UnionOf(minus1 minus2 plus3)

OWL QL Report (Informative)

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

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

OWL RL Report (Informative)

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

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

TestCase:WebOnt-description-logic-503

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