TestCase:WebOnt-description-logic-662

From OWL Test Cases

Jump to:navigation, search

Premise 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-662
Description	DL Test: k_d4 ABox test from DL98 systems comparison.
Status	Extra credit (2009-07-22) (proposed 2009-01-05)
Author	Sean Bechhofer
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/Manifest662#test
<rdf:RDF xmlns:oiled="http://oiled.man.example.net/test#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base="http://www.w3.org/2002/03owlt/description-logic/premises662"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#C82.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.25"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#R1"/> </owl:onProperty> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.25"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C50.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.13"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C94.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.29"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C62.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.17"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C74.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.18"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C78.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C42.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.31"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C54.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.14"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#integer" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C34.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.9"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#short" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C78.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.20"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#byte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C14.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.1"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C26.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.30"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#short" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C38"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C36.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C36"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.8"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C32.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.9"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#short" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C78"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.20"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C32"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.7"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#integer" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C74.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C28.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C74"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.18"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C62.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C70"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.33"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C70"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.3"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C6.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.28"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#integer" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C28"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C26"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.6"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C26"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C20.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C24"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.30"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#short" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C24"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C22"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C64"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C22"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C64"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C20"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.5"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C62"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.17"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C92.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.34"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C58"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C72.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.33"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C84.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.23"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#short" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C52.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.32"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C20.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.5"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C32.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.7"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#integer" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C44.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.10"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C36.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.8"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C48.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.12"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C16.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.2"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#short" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C6.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C28.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.6"/> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#byte" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C6"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.28"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#integer" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#TEST"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C94.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.3"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C18"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C16.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C14.comp"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.2"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#short" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C58"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C14"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#TOP"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.1"/> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C12"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C46"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C54.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C54"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.14"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#integer" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C48.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C50.comp"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.32"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.29"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C50"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.13"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#byte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C82.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.34"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#byte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C48"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.12"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C46"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C44.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C44"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C42"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.10"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C42"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C34.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C40"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.31"/> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C84.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C84"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.23"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#short" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C40"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C38"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8476"> <rdf:type rdf:resource="http://oiled.man.example.net/test#C2"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8472"> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8476"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8469"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C2"/> </owl:Restriction> </rdf:type> <rdf:type rdf:resource="http://oiled.man.example.net/test#C6.comp"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8473"> <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8474"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </rdf:type> <rdf:type rdf:resource="http://oiled.man.example.net/test#C32.comp"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8470"> <rdf:type rdf:resource="http://oiled.man.example.net/test#TOP"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <oiled:R1> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8475"> <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Thing> </oiled:R1> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8474"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8473"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8472"/> <oiled:R1> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8471"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C2"/> </owl:Restriction> </rdf:type> <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C78.comp"/> </owl:Thing> </oiled:R1> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8469"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8470"/> <oiled:R1> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8468"> <rdf:type rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Thing> </oiled:R1> <rdf:type rdf:resource="http://oiled.man.example.net/test#C26.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C42.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C52.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C72.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C92.comp"/> </owl:Thing> </rdf:RDF>
Conclusion 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
<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/conclusions662" > <owl:Ontology/> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8472"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8472"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C58"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C20"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C48"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C62"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C14"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8471"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"/> </rdf:type> </owl:Thing> </rdf:RDF>
Imported ontologies	none

The version of this test approved by the WebOnt WG was incorrect. The conclusion ontology present in that version of the test was marked as an OWL Lite document, but was not OWL Lite 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: EquivalentClasses(C14.comp MinCardinality(1 P.1 Literal) )
- due to class description MinCardinality(1 P.1 Literal)
The following axiom is not allowed: EquivalentClasses(C34 MinCardinality(1 P.9 Literal) )
- due to class description MinCardinality(1 P.9 Literal)
The following axiom is not allowed: EquivalentClasses(C32.comp MinCardinality(1 P.7 Literal) )
- due to class description MinCardinality(1 P.7 Literal)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8474)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8472 V8476)
The following axiom is not allowed: EquivalentClasses(C78 MinCardinality(1 P.20 Thing) )
- due to class description MinCardinality(1 P.20 Thing)
The following axiom is not allowed: EquivalentClasses(C78.comp ExactCardinality(0 P.20 Thing) )
- due to class description ExactCardinality(0 P.20 Thing)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8475)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8471)
The following axiom is not allowed: EquivalentClasses(C32 ExactCardinality(0 P.7 Literal) )
- due to class description ExactCardinality(0 P.7 Literal)
The following axiom is not allowed: EquivalentClasses(C48.comp ExactCardinality(0 P.12 Thing) )
- due to class description ExactCardinality(0 P.12 Thing)
The following axiom is not allowed: EquivalentClasses(C6.comp MinCardinality(1 P.28 Thing) )
- due to class description MinCardinality(1 P.28 Thing)
The following axiom is not allowed: EquivalentClasses(C48 MinCardinality(1 P.12 Thing) )
- due to class description MinCardinality(1 P.12 Thing)
The following axiom is not allowed: EquivalentClasses(C42 MaxCardinality(0 P.31 Literal) )
- due to class description MaxCardinality(0 P.31 Literal)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8469)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C36.comp ExactCardinality(0 P.8 Thing) )
- due to class description ExactCardinality(0 P.8 Thing)
The following axiom is not allowed: EquivalentClasses(C42.comp MinCardinality(1 P.31 Literal) )
- due to class description MinCardinality(1 P.31 Literal)
The following axiom is not allowed: EquivalentClasses(C74 MinCardinality(1 P.18 Thing) )
- due to class description MinCardinality(1 P.18 Thing)
The following axiom is not allowed: EquivalentClasses(C84.comp ExactCardinality(0 P.23 Literal) )
- due to class description ExactCardinality(0 P.23 Literal)
The following axiom is not allowed: EquivalentClasses(C62.comp ExactCardinality(0 P.17 Literal) )
- due to class description ExactCardinality(0 P.17 Literal)
The following axiom is not allowed: EquivalentClasses(C72.comp ExactCardinality(0 P.33 Literal) )
- due to class description ExactCardinality(0 P.33 Literal)
The following axiom is not allowed: EquivalentClasses(C92 ExactCardinality(0 P.34 Thing) )
- due to class description ExactCardinality(0 P.34 Thing)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8472)
The following axiom is not allowed: EquivalentClasses(C62 MinCardinality(1 P.17 Literal) )
- due to class description MinCardinality(1 P.17 Literal)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8471)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C52.comp ExactCardinality(0 P.32 Thing) )
- due to class description ExactCardinality(0 P.32 Thing)
The following axiom is not allowed: EquivalentClasses(C26.comp ExactCardinality(0 P.30 Thing) )
- due to class description ExactCardinality(0 P.30 Thing)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8468)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8473)
The following axiom is not allowed: EquivalentClasses(C94 MinCardinality(1 P.29 Literal) )
- due to class description MinCardinality(1 P.29 Literal)
The following axiom is not allowed: EquivalentClasses(C28.comp MaxCardinality(0 P.6 Thing) )
- due to class description MaxCardinality(0 P.6 Thing)
The following axiom is not allowed: EquivalentClasses(C82 ExactCardinality(0 P.25 Literal) )
- due to class description ExactCardinality(0 P.25 Literal)
The following axiom is not allowed: EquivalentClasses(C94.comp ExactCardinality(0 P.29 Literal) )
- due to class description ExactCardinality(0 P.29 Literal)
The following axiom is not allowed: EquivalentClasses(C44 ExactCardinality(0 P.10 Thing) )
- due to class description ExactCardinality(0 P.10 Thing)
The following axiom is not allowed: EquivalentClasses(C50.comp MinCardinality(1 P.13 Literal) )
- due to class description MinCardinality(1 P.13 Literal)
The following axiom is not allowed: EquivalentClasses(C36 MinCardinality(1 P.8 Thing) )
- due to class description MinCardinality(1 P.8 Thing)
The following axiom is not allowed: EquivalentClasses(C72 MinCardinality(1 P.33 Literal) )
- due to class description MinCardinality(1 P.33 Literal)
The following axiom is not allowed: EquivalentClasses(C52 MinCardinality(1 P.32 Thing) )
- due to class description MinCardinality(1 P.32 Thing)
The following axiom is not allowed: EquivalentClasses(C54 MinCardinality(1 P.14 Thing) )
- due to class description MinCardinality(1 P.14 Thing)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8470)
The following axiom is not allowed: EquivalentClasses(C84 MinCardinality(1 P.23 Literal) )
- due to class description MinCardinality(1 P.23 Literal)
The following axiom is not allowed: EquivalentClasses(C74.comp ExactCardinality(0 P.18 Thing) )
- due to class description ExactCardinality(0 P.18 Thing)
The following axiom is not allowed: EquivalentClasses(C34.comp ExactCardinality(0 P.9 Literal) )
- due to class description ExactCardinality(0 P.9 Literal)
The following axiom is not allowed: EquivalentClasses(C14 MaxCardinality(0 P.1 Literal) )
- due to class description MaxCardinality(0 P.1 Literal)
The following axiom is not allowed: EquivalentClasses(C82.comp MinCardinality(1 P.25 Literal) )
- due to class description MinCardinality(1 P.25 Literal)
The following axiom is not allowed: EquivalentClasses(C16 MinCardinality(1 P.2 Thing) )
- due to class description MinCardinality(1 P.2 Thing)
The following axiom is not allowed: EquivalentClasses(C20.comp ExactCardinality(0 P.5 Literal) )
- due to class description ExactCardinality(0 P.5 Literal)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8469)
The following axiom is not allowed: EquivalentClasses(C2 MinCardinality(1 P.3 Literal) )
- due to class description MinCardinality(1 P.3 Literal)
The following axiom is not allowed: EquivalentClasses(C92.comp MinCardinality(1 P.34 Thing) )
- due to class description MinCardinality(1 P.34 Thing)
The following axiom is not allowed: EquivalentClasses(C28 MinCardinality(1 P.6 Thing) )
- due to class description MinCardinality(1 P.6 Thing)
The following axiom is not allowed: EquivalentClasses(C50 ExactCardinality(0 P.13 Literal) )
- due to class description ExactCardinality(0 P.13 Literal)
The following axiom is not allowed: EquivalentClasses(C2.comp ExactCardinality(0 P.3 Literal) )
- due to class description ExactCardinality(0 P.3 Literal)
The following axiom is not allowed: EquivalentClasses(C54.comp ExactCardinality(0 P.14 Thing) )
- due to class description ExactCardinality(0 P.14 Thing)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2.comp) V8474)
- due to class description AllValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C6 ExactCardinality(0 P.28 Thing) )
- due to class description ExactCardinality(0 P.28 Thing)
The following axiom is not allowed: EquivalentClasses(C26 MinCardinality(1 P.30 Thing) )
- due to class description MinCardinality(1 P.30 Thing)
The following axiom is not allowed: EquivalentClasses(C20 MinCardinality(1 P.5 Literal) )
- due to class description MinCardinality(1 P.5 Literal)
The following axiom is not allowed: EquivalentClasses(C16.comp ExactCardinality(0 P.2 Thing) )
- due to class description ExactCardinality(0 P.2 Thing)
The following axiom is not allowed: EquivalentClasses(C44.comp MinCardinality(1 P.10 Thing) )
- due to class description MinCardinality(1 P.10 Thing)

OWL QL Report (Informative)

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

The following axiom is not allowed: EquivalentClasses(C70 SomeValuesFrom(R1 C68) )
- due to class description SomeValuesFrom(R1 C68)
The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(C18 C28.comp) )
- due to class description IntersectionOf(C18 C28.comp)
The following axiom is not allowed: EquivalentClasses(C42 MaxCardinality(0 P.31 Literal) )
- due to class description MaxCardinality(0 P.31 Literal)
The following axiom is not allowed: EquivalentClasses(C62 MinCardinality(1 P.17 Literal) )
- due to class description MinCardinality(1 P.17 Literal)
The following axiom is not allowed: EquivalentClasses(C62.comp ExactCardinality(0 P.17 Literal) )
- due to class description ExactCardinality(0 P.17 Literal)
The following axiom is not allowed: EquivalentClasses(C94 SomeValuesFrom(R1 C92) )
- due to class description SomeValuesFrom(R1 C92)
The following axiom is not allowed: EquivalentClasses(C50 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C50.comp MinCardinality(1 P.13 Literal) )
- due to class description MinCardinality(1 P.13 Literal)
The following axiom is not allowed: EquivalentClasses(C54.comp ExactCardinality(0 P.14 Thing) )
- due to class description ExactCardinality(0 P.14 Thing)
The following axiom is not allowed: EquivalentClasses(C76 IntersectionOf(C56 C74.comp) )
- due to class description IntersectionOf(C56 C74.comp)
The following axiom is not allowed: EquivalentClasses(C16 MinCardinality(1 P.2 Thing) )
- due to class description MinCardinality(1 P.2 Thing)
The following axiom is not allowed: EquivalentClasses(C94.comp ExactCardinality(0 P.29 Literal) )
- due to class description ExactCardinality(0 P.29 Literal)
The following axiom is not allowed: EquivalentClasses(TEST IntersectionOf(C76 C94.comp) )
- due to class description IntersectionOf(C76 C94.comp)
The following axiom is not allowed: EquivalentClasses(C74.comp ExactCardinality(0 P.18 Thing) )
- due to class description ExactCardinality(0 P.18 Thing)
The following axiom is not allowed: EquivalentClasses(C22 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C90 SomeValuesFrom(R1 C88) )
- due to class description SomeValuesFrom(R1 C88)
The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C48.comp ExactCardinality(0 P.12 Thing) )
- due to class description ExactCardinality(0 P.12 Thing)
The following axiom is not allowed: EquivalentClasses(C2.comp ExactCardinality(0 P.3 Literal) )
- due to class description ExactCardinality(0 P.3 Literal)
The following axiom is not allowed: EquivalentClasses(C26 MinCardinality(1 P.30 Thing) )
- due to class description MinCardinality(1 P.30 Thing)
The following axiom is not allowed: EquivalentClasses(C36 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C88 SomeValuesFrom(R1 C86) )
- due to class description SomeValuesFrom(R1 C86)
The following axiom is not allowed: EquivalentClasses(C32.comp MinCardinality(1 P.7 Literal) )
- due to class description MinCardinality(1 P.7 Literal)
The following axiom is not allowed: EquivalentClasses(C38 SomeValuesFrom(R1 C36.comp) )
- due to class description SomeValuesFrom(R1 C36.comp)
The following axiom is not allowed: EquivalentClasses(C36 MinCardinality(1 P.8 Thing) )
- due to class description MinCardinality(1 P.8 Thing)
The following axiom is not allowed: EquivalentClasses(C4 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C12 C16.comp) )
- due to class description IntersectionOf(C12 C16.comp)
The following axiom is not allowed: EquivalentClasses(C58 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C62 SomeValuesFrom(R1 C60) )
- due to class description SomeValuesFrom(R1 C60)
The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 C80) )
- due to class description SomeValuesFrom(R1 C80)
The following axiom is not allowed: EquivalentClasses(C42.comp MinCardinality(1 P.31 Literal) )
- due to class description MinCardinality(1 P.31 Literal)
The following axiom is not allowed: EquivalentClasses(C6 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 C38) )
- due to class description SomeValuesFrom(R1 C38)
The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C30 C44.comp) )
- due to class description IntersectionOf(C30 C44.comp)
The following axiom is not allowed: EquivalentClasses(C26.comp ExactCardinality(0 P.30 Thing) )
- due to class description ExactCardinality(0 P.30 Thing)
The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C82.comp C90) )
- due to class description IntersectionOf(C82.comp C90)
The following axiom is not allowed: EquivalentClasses(C44.comp MinCardinality(1 P.10 Thing) )
- due to class description MinCardinality(1 P.10 Thing)
The following axiom is not allowed: EquivalentClasses(C84 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C82 ExactCardinality(0 P.25 Literal) )
- due to class description ExactCardinality(0 P.25 Literal)
The following axiom is not allowed: EquivalentClasses(C34 SomeValuesFrom(R1 C32.comp) )
- due to class description SomeValuesFrom(R1 C32.comp)
The following axiom is not allowed: EquivalentClasses(C92.comp MinCardinality(1 P.34 Thing) )
- due to class description MinCardinality(1 P.34 Thing)
The following axiom is not allowed: EquivalentClasses(C54 SomeValuesFrom(R1 C52) )
- due to class description SomeValuesFrom(R1 C52)
The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C62.comp C70) )
- due to class description IntersectionOf(C62.comp C70)
The following axiom is not allowed: EquivalentClasses(C66 IntersectionOf(C2.comp C64) )
- due to class description IntersectionOf(C2.comp C64)
The following axiom is not allowed: EquivalentClasses(C68 SomeValuesFrom(R1 C66) )
- due to class description SomeValuesFrom(R1 C66)
The following axiom is not allowed: EquivalentClasses(C14.comp MinCardinality(1 P.1 Literal) )
- due to class description MinCardinality(1 P.1 Literal)
The following axiom is not allowed: EquivalentClasses(C6 ExactCardinality(0 P.28 Thing) )
- due to class description ExactCardinality(0 P.28 Thing)
The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C54 MinCardinality(1 P.14 Thing) )
- due to class description MinCardinality(1 P.14 Thing)
The following axiom is not allowed: EquivalentClasses(C80 IntersectionOf(C2.comp C78.comp) )
- due to class description IntersectionOf(C2.comp C78.comp)
The following axiom is not allowed: EquivalentClasses(C14 MaxCardinality(0 P.1 Literal) )
- due to class description MaxCardinality(0 P.1 Literal)
The following axiom is not allowed: EquivalentClasses(C32 ExactCardinality(0 P.7 Literal) )
- due to class description ExactCardinality(0 P.7 Literal)
The following axiom is not allowed: EquivalentClasses(C10 IntersectionOf(C4 C8) )
- due to class description IntersectionOf(C4 C8)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8471)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C92 ExactCardinality(0 P.34 Thing) )
- due to class description ExactCardinality(0 P.34 Thing)
The following axiom is not allowed: EquivalentClasses(C34.comp ExactCardinality(0 P.9 Literal) )
- due to class description ExactCardinality(0 P.9 Literal)
The following axiom is not allowed: EquivalentClasses(C48 MinCardinality(1 P.12 Thing) )
- due to class description MinCardinality(1 P.12 Thing)
The following axiom is not allowed: EquivalentClasses(C72 MinCardinality(1 P.33 Literal) )
- due to class description MinCardinality(1 P.33 Literal)
The following axiom is not allowed: EquivalentClasses(C44 SomeValuesFrom(R1 C42) )
- due to class description SomeValuesFrom(R1 C42)
The following axiom is not allowed: EquivalentClasses(C12 SomeValuesFrom(R1 C10) )
- due to class description SomeValuesFrom(R1 C10)
The following axiom is not allowed: EquivalentClasses(C48 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2.comp) V8474)
- due to class description AllValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C14 SomeValuesFrom(R1 TOP) )
- due to class description SomeValuesFrom(R1 TOP)
The following axiom is not allowed: EquivalentClasses(C94 MinCardinality(1 P.29 Literal) )
- due to class description MinCardinality(1 P.29 Literal)
The following axiom is not allowed: EquivalentClasses(C16.comp ExactCardinality(0 P.2 Thing) )
- due to class description ExactCardinality(0 P.2 Thing)
The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C34.comp C40) )
- due to class description IntersectionOf(C34.comp C40)
The following axiom is not allowed: EquivalentClasses(C24 SomeValuesFrom(R1 C22) )
- due to class description SomeValuesFrom(R1 C22)
The following axiom is not allowed: EquivalentClasses(C74 MinCardinality(1 P.18 Thing) )
- due to class description MinCardinality(1 P.18 Thing)
The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8469)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C86 IntersectionOf(C2.comp C84.comp) )
- due to class description IntersectionOf(C2.comp C84.comp)
The following axiom is not allowed: EquivalentClasses(C2 MinCardinality(1 P.3 Literal) )
- due to class description MinCardinality(1 P.3 Literal)
The following axiom is not allowed: EquivalentClasses(C52.comp ExactCardinality(0 P.32 Thing) )
- due to class description ExactCardinality(0 P.32 Thing)
The following axiom is not allowed: EquivalentClasses(C84 MinCardinality(1 P.23 Literal) )
- due to class description MinCardinality(1 P.23 Literal)
The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 C14.comp) )
- due to class description SomeValuesFrom(R1 C14.comp)
The following axiom is not allowed: EquivalentClasses(C60 IntersectionOf(C2.comp C58) )
- due to class description IntersectionOf(C2.comp C58)
The following axiom is not allowed: EquivalentClasses(C20.comp ExactCardinality(0 P.5 Literal) )
- due to class description ExactCardinality(0 P.5 Literal)
The following axiom is not allowed: EquivalentClasses(C44 ExactCardinality(0 P.10 Thing) )
- due to class description ExactCardinality(0 P.10 Thing)
The following axiom is not allowed: EquivalentClasses(C34 MinCardinality(1 P.9 Literal) )
- due to class description MinCardinality(1 P.9 Literal)
The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 C26) )
- due to class description SomeValuesFrom(R1 C26)
The following axiom is not allowed: EquivalentClasses(C84.comp ExactCardinality(0 P.23 Literal) )
- due to class description ExactCardinality(0 P.23 Literal)
The following axiom is not allowed: EquivalentClasses(C78 MinCardinality(1 P.20 Thing) )
- due to class description MinCardinality(1 P.20 Thing)
The following axiom is not allowed: EquivalentClasses(C20 MinCardinality(1 P.5 Literal) )
- due to class description MinCardinality(1 P.5 Literal)
The following axiom is not allowed: EquivalentClasses(C78 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C46 C54.comp) )
- due to class description IntersectionOf(C46 C54.comp)
The following axiom is not allowed: EquivalentClasses(C6.comp MinCardinality(1 P.28 Thing) )
- due to class description MinCardinality(1 P.28 Thing)
The following axiom is not allowed: EquivalentClasses(C82.comp MinCardinality(1 P.25 Literal) )
- due to class description MinCardinality(1 P.25 Literal)
The following axiom is not allowed: EquivalentClasses(C50 ExactCardinality(0 P.13 Literal) )
- due to class description ExactCardinality(0 P.13 Literal)
The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(C48.comp C50.comp) )
- due to class description IntersectionOf(C48.comp C50.comp)
The following axiom is not allowed: EquivalentClasses(C26 IntersectionOf(C20.comp C24) )
- due to class description IntersectionOf(C20.comp C24)
The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 C6.comp) )
- due to class description SomeValuesFrom(R1 C6.comp)
The following axiom is not allowed: EquivalentClasses(C78.comp ExactCardinality(0 P.20 Thing) )
- due to class description ExactCardinality(0 P.20 Thing)
The following axiom is not allowed: EquivalentClasses(C36.comp ExactCardinality(0 P.8 Thing) )
- due to class description ExactCardinality(0 P.8 Thing)
The following axiom is not allowed: EquivalentClasses(C28.comp MaxCardinality(0 P.6 Thing) )
- due to class description MaxCardinality(0 P.6 Thing)
The following axiom is not allowed: EquivalentClasses(C28 MinCardinality(1 P.6 Thing) )
- due to class description MinCardinality(1 P.6 Thing)
The following axiom is not allowed: EquivalentClasses(C72.comp ExactCardinality(0 P.33 Literal) )
- due to class description ExactCardinality(0 P.33 Literal)
The following axiom is not allowed: EquivalentClasses(C52 MinCardinality(1 P.32 Thing) )
- due to class description MinCardinality(1 P.32 Thing)
The following axiom is not allowed: EquivalentClasses(C74 SomeValuesFrom(R1 C72) )
- due to class description SomeValuesFrom(R1 C72)

OWL RL Report (Informative)

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

The following axiom is not allowed: EquivalentClasses(C94.comp ExactCardinality(0 P.29 Literal) )
- due to class description ExactCardinality(0 P.29 Literal)
The following axiom is not allowed: EquivalentClasses(C68 SomeValuesFrom(R1 C66) )
- due to class description SomeValuesFrom(R1 C66)
The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C2.comp ExactCardinality(0 P.3 Literal) )
- due to class description ExactCardinality(0 P.3 Literal)
The following axiom is not allowed: EquivalentClasses(C82 ExactCardinality(0 P.25 Literal) )
- due to class description ExactCardinality(0 P.25 Literal)
The following axiom is not allowed: EquivalentClasses(C44 ExactCardinality(0 P.10 Thing) )
- due to class description ExactCardinality(0 P.10 Thing)
The following axiom is not allowed: EquivalentClasses(C70 SomeValuesFrom(R1 C68) )
- due to class description SomeValuesFrom(R1 C68)
The following axiom is not allowed: EquivalentClasses(C52 MinCardinality(1 P.32 Thing) )
- due to class description MinCardinality(1 P.32 Thing)
The following axiom is not allowed: EquivalentClasses(C72.comp ExactCardinality(0 P.33 Literal) )
- due to class description ExactCardinality(0 P.33 Literal)
The following axiom is not allowed: EquivalentClasses(C2 MinCardinality(1 P.3 Literal) )
- due to class description MinCardinality(1 P.3 Literal)
The following axiom is not allowed: EquivalentClasses(C52.comp ExactCardinality(0 P.32 Thing) )
- due to class description ExactCardinality(0 P.32 Thing)
The following axiom is not allowed: EquivalentClasses(C6 ExactCardinality(0 P.28 Thing) )
- due to class description ExactCardinality(0 P.28 Thing)
The following axiom is not allowed: EquivalentClasses(C36 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C74 MinCardinality(1 P.18 Thing) )
- due to class description MinCardinality(1 P.18 Thing)
The following axiom is not allowed: EquivalentClasses(C44 SomeValuesFrom(R1 C42) )
- due to class description SomeValuesFrom(R1 C42)
The following axiom is not allowed: EquivalentClasses(C48.comp ExactCardinality(0 P.12 Thing) )
- due to class description ExactCardinality(0 P.12 Thing)
The following axiom is not allowed: EquivalentClasses(C42 MaxCardinality(0 P.31 Literal) )
- due to class description MaxCardinality(0 P.31 Literal)
The following axiom is not allowed: EquivalentClasses(C42.comp MinCardinality(1 P.31 Literal) )
- due to class description MinCardinality(1 P.31 Literal)
The following axiom is not allowed: EquivalentClasses(C34 MinCardinality(1 P.9 Literal) )
- due to class description MinCardinality(1 P.9 Literal)
The following axiom is not allowed: EquivalentClasses(C50 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C22 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C20.comp ExactCardinality(0 P.5 Literal) )
- due to class description ExactCardinality(0 P.5 Literal)
The following axiom is not allowed: EquivalentClasses(C78 MinCardinality(1 P.20 Thing) )
- due to class description MinCardinality(1 P.20 Thing)
The following axiom is not allowed: EquivalentClasses(C44.comp MinCardinality(1 P.10 Thing) )
- due to class description MinCardinality(1 P.10 Thing)
The following axiom is not allowed: EquivalentClasses(C48 MinCardinality(1 P.12 Thing) )
- due to class description MinCardinality(1 P.12 Thing)
The following axiom is not allowed: EquivalentClasses(C50.comp MinCardinality(1 P.13 Literal) )
- due to class description MinCardinality(1 P.13 Literal)
The following axiom is not allowed: EquivalentClasses(C16.comp ExactCardinality(0 P.2 Thing) )
- due to class description ExactCardinality(0 P.2 Thing)
The following axiom is not allowed: EquivalentClasses(C28.comp MaxCardinality(0 P.6 Thing) )
- due to class description MaxCardinality(0 P.6 Thing)
The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C36.comp ExactCardinality(0 P.8 Thing) )
- due to class description ExactCardinality(0 P.8 Thing)
The following axiom is not allowed: EquivalentClasses(C6.comp MinCardinality(1 P.28 Thing) )
- due to class description MinCardinality(1 P.28 Thing)
The following axiom is not allowed: EquivalentClasses(C24 SomeValuesFrom(R1 C22) )
- due to class description SomeValuesFrom(R1 C22)
The following axiom is not allowed: EquivalentClasses(C74 SomeValuesFrom(R1 C72) )
- due to class description SomeValuesFrom(R1 C72)
The following axiom is not allowed: EquivalentClasses(C14.comp MinCardinality(1 P.1 Literal) )
- due to class description MinCardinality(1 P.1 Literal)
The following axiom is not allowed: EquivalentClasses(C28 MinCardinality(1 P.6 Thing) )
- due to class description MinCardinality(1 P.6 Thing)
The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C62 SomeValuesFrom(R1 C60) )
- due to class description SomeValuesFrom(R1 C60)
The following axiom is not allowed: EquivalentClasses(C20 MinCardinality(1 P.5 Literal) )
- due to class description MinCardinality(1 P.5 Literal)
The following axiom is not allowed: EquivalentClasses(C82.comp MinCardinality(1 P.25 Literal) )
- due to class description MinCardinality(1 P.25 Literal)
The following axiom is not allowed: EquivalentClasses(C26.comp ExactCardinality(0 P.30 Thing) )
- due to class description ExactCardinality(0 P.30 Thing)
The following axiom is not allowed: EquivalentClasses(C84 MinCardinality(1 P.23 Literal) )
- due to class description MinCardinality(1 P.23 Literal)
The following axiom is not allowed: EquivalentClasses(C74.comp ExactCardinality(0 P.18 Thing) )
- due to class description ExactCardinality(0 P.18 Thing)
The following axiom is not allowed: EquivalentClasses(C14 SomeValuesFrom(R1 TOP) )
- due to class description SomeValuesFrom(R1 TOP)
The following axiom is not allowed: EquivalentClasses(C94 SomeValuesFrom(R1 C92) )
- due to class description SomeValuesFrom(R1 C92)
The following axiom is not allowed: EquivalentClasses(C48 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 C80) )
- due to class description SomeValuesFrom(R1 C80)
The following axiom is not allowed: EquivalentClasses(C26 MinCardinality(1 P.30 Thing) )
- due to class description MinCardinality(1 P.30 Thing)
The following axiom is not allowed: EquivalentClasses(C4 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C36 MinCardinality(1 P.8 Thing) )
- due to class description MinCardinality(1 P.8 Thing)
The following axiom is not allowed: EquivalentClasses(C58 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C14 MaxCardinality(0 P.1 Literal) )
- due to class description MaxCardinality(0 P.1 Literal)
The following axiom is not allowed: EquivalentClasses(C38 SomeValuesFrom(R1 C36.comp) )
- due to class description SomeValuesFrom(R1 C36.comp)
The following axiom is not allowed: EquivalentClasses(C16 MinCardinality(1 P.2 Thing) )
- due to class description MinCardinality(1 P.2 Thing)
The following axiom is not allowed: EquivalentClasses(C94 MinCardinality(1 P.29 Literal) )
- due to class description MinCardinality(1 P.29 Literal)
The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 C6.comp) )
- due to class description SomeValuesFrom(R1 C6.comp)
The following axiom is not allowed: EquivalentClasses(C62.comp ExactCardinality(0 P.17 Literal) )
- due to class description ExactCardinality(0 P.17 Literal)
The following axiom is not allowed: EquivalentClasses(C32.comp MinCardinality(1 P.7 Literal) )
- due to class description MinCardinality(1 P.7 Literal)
The following axiom is not allowed: EquivalentClasses(C84.comp ExactCardinality(0 P.23 Literal) )
- due to class description ExactCardinality(0 P.23 Literal)
The following axiom is not allowed: EquivalentClasses(C78 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C6 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C92.comp MinCardinality(1 P.34 Thing) )
- due to class description MinCardinality(1 P.34 Thing)
The following axiom is not allowed: EquivalentClasses(C88 SomeValuesFrom(R1 C86) )
- due to class description SomeValuesFrom(R1 C86)
The following axiom is not allowed: EquivalentClasses(C72 MinCardinality(1 P.33 Literal) )
- due to class description MinCardinality(1 P.33 Literal)
The following axiom is not allowed: EquivalentClasses(C90 SomeValuesFrom(R1 C88) )
- due to class description SomeValuesFrom(R1 C88)
The following axiom is not allowed: EquivalentClasses(C54 MinCardinality(1 P.14 Thing) )
- due to class description MinCardinality(1 P.14 Thing)
The following axiom is not allowed: EquivalentClasses(C62 MinCardinality(1 P.17 Literal) )
- due to class description MinCardinality(1 P.17 Literal)
The following axiom is not allowed: EquivalentClasses(C84 SomeValuesFrom(R1 C2.comp) )
- due to class description SomeValuesFrom(R1 C2.comp)
The following axiom is not allowed: EquivalentClasses(C32 ExactCardinality(0 P.7 Literal) )
- due to class description ExactCardinality(0 P.7 Literal)
The following axiom is not allowed: EquivalentClasses(C78.comp ExactCardinality(0 P.20 Thing) )
- due to class description ExactCardinality(0 P.20 Thing)
The following axiom is not allowed: EquivalentClasses(C92 ExactCardinality(0 P.34 Thing) )
- due to class description ExactCardinality(0 P.34 Thing)
The following axiom is not allowed: EquivalentClasses(C54.comp ExactCardinality(0 P.14 Thing) )
- due to class description ExactCardinality(0 P.14 Thing)
The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 C14.comp) )
- due to class description SomeValuesFrom(R1 C14.comp)
The following axiom is not allowed: EquivalentClasses(C12 SomeValuesFrom(R1 C10) )
- due to class description SomeValuesFrom(R1 C10)
The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 C38) )
- due to class description SomeValuesFrom(R1 C38)
The following axiom is not allowed: EquivalentClasses(C54 SomeValuesFrom(R1 C52) )
- due to class description SomeValuesFrom(R1 C52)
The following axiom is not allowed: EquivalentClasses(C34 SomeValuesFrom(R1 C32.comp) )
- due to class description SomeValuesFrom(R1 C32.comp)
The following axiom is not allowed: EquivalentClasses(C34.comp ExactCardinality(0 P.9 Literal) )
- due to class description ExactCardinality(0 P.9 Literal)
The following axiom is not allowed: EquivalentClasses(C50 ExactCardinality(0 P.13 Literal) )
- due to class description ExactCardinality(0 P.13 Literal)
The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 C26) )
- due to class description SomeValuesFrom(R1 C26)

TestCase:WebOnt-description-logic-662

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