TestCase:WebOnt-description-logic-203

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-203
Description	DL Test: k_dum 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/Manifest203#test
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/premises203" 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#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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#C14"> <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#C12"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </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> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C18"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> </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> <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C22"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C20"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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#C26"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C14"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C24"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"> <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#C28"/> </owl:someValuesFrom> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C32"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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#C34"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C38"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C26"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C36"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C42"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C40"/> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C46"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C44"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C48"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C42"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C46"/> </owl:intersectionOf> </owl:Class> </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> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C50"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </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:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C54"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C48"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C58"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C62"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C38"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"> <owl:equivalentClass> <owl:Class> <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"/> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C70"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"> <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#C70"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C74"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C78"> <owl:equivalentClass> <owl:Class> <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#C2"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"> <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#C78"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C84"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C74"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> </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:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C96"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C98"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> </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#C2"/> <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> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C6"> <owl:equivalentClass> <owl:Class> <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#C2"/> </owl:intersectionOf> </owl:Class> </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> <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C100"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C98"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C102"> <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#C100"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C104"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C102"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C106"> <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#C104"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C108"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C84"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C106"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C110"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C62"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C108"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C112"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C110"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C114"> <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#C112"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C116"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C114"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C118"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C120"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C118"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C122"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C120"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C124"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C126"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C124"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C128"> <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#C126"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C130"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C128"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C132"> <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#C130"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C134"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C122"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C132"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C136"> <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#C134"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C138"> <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#C136"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C140"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C138"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#TEST"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C116"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C140"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#R1"/> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5475"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#TEST"/> </rdf:type> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C114"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C112"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V5476"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5476"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5478"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C130"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C118"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C28"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> </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/conclusions203" > <owl:Ontology/> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5475"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C140"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5475"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C116"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5475"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C138"/> </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(C122 IntersectionOf(C120 ComplementOf(C2)) )
- due to class description IntersectionOf(C120 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C96 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C40 ComplementOf(C2)) )
- due to class description IntersectionOf(C40 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C112 SomeValuesFrom(R1 ComplementOf(C110)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C110))
The following axiom is not allowed: ClassAssertion(ComplementOf(C12) V5478)
- due to class description ComplementOf(C12)
The following axiom is not allowed: EquivalentClasses(C90 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(ComplementOf(C2) ComplementOf(C54)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C54))
The following axiom is not allowed: EquivalentClasses(C10 IntersectionOf(ComplementOf(C2) ComplementOf(C8)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C8))
The following axiom is not allowed: ClassAssertion(ComplementOf(C34) V5478)
- due to class description ComplementOf(C34)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C112)) V5475)
- due to class description AllValuesFrom(R1 ComplementOf(C112))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C28)) V5478)
- due to class description AllValuesFrom(R1 ComplementOf(C28))
The following axiom is not allowed: EquivalentClasses(C120 SomeValuesFrom(R1 ComplementOf(C118)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C118))
The following axiom is not allowed: EquivalentClasses(C130 IntersectionOf(ComplementOf(C128) ComplementOf(C2)) )
- due to class description IntersectionOf(ComplementOf(C128) ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C118 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C44 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C30) V5478)
- due to class description ComplementOf(C30)
The following axiom is not allowed: ClassAssertion(ComplementOf(C130) V5478)
- due to class description ComplementOf(C130)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V5475 V5476)
The following axiom is not allowed: EquivalentClasses(C110 IntersectionOf(C62 ComplementOf(C108)) )
- due to class description IntersectionOf(C62 ComplementOf(C108))
The following axiom is not allowed: EquivalentClasses(C22 IntersectionOf(ComplementOf(C2) ComplementOf(C20)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C20))
The following axiom is not allowed: EquivalentClasses(C104 IntersectionOf(C88 ComplementOf(C102)) )
- due to class description IntersectionOf(C88 ComplementOf(C102))
The following axiom is not allowed: EquivalentClasses(C50 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C34 IntersectionOf(C30 ComplementOf(C32)) )
- due to class description IntersectionOf(C30 ComplementOf(C32))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C10)) V5478)
- due to class description AllValuesFrom(R1 ComplementOf(C10))
The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C134 IntersectionOf(C122 ComplementOf(C132)) )
- due to class description IntersectionOf(C122 ComplementOf(C132))
The following axiom is not allowed: EquivalentClasses(C108 IntersectionOf(C84 ComplementOf(C106)) )
- due to class description IntersectionOf(C84 ComplementOf(C106))
The following axiom is not allowed: EquivalentClasses(C26 IntersectionOf(C14 ComplementOf(C24)) )
- due to class description IntersectionOf(C14 ComplementOf(C24))
The following axiom is not allowed: EquivalentClasses(C60 IntersectionOf(C48 ComplementOf(C58)) )
- due to class description IntersectionOf(C48 ComplementOf(C58))
The following axiom is not allowed: EquivalentClasses(C116 IntersectionOf(TOP ComplementOf(C114)) )
- due to class description IntersectionOf(TOP ComplementOf(C114))
The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C38 IntersectionOf(ComplementOf(C26) ComplementOf(C36)) )
- due to class description IntersectionOf(ComplementOf(C26) ComplementOf(C36))
The following axiom is not allowed: ClassAssertion(ComplementOf(C118) V5478)
- due to class description ComplementOf(C118)
The following axiom is not allowed: EquivalentClasses(C76 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C114) V5475)
- due to class description ComplementOf(C114)
The following axiom is not allowed: EquivalentClasses(C124 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C46 SomeValuesFrom(R1 ComplementOf(C44)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C44))
The following axiom is not allowed: EquivalentClasses(C86 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C68 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V5478)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 ComplementOf(C80)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C80))
The following axiom is not allowed: EquivalentClasses(C62 IntersectionOf(C38 ComplementOf(C60)) )
- due to class description IntersectionOf(C38 ComplementOf(C60))
The following axiom is not allowed: EquivalentClasses(C100 IntersectionOf(C94 ComplementOf(C98)) )
- due to class description IntersectionOf(C94 ComplementOf(C98))
The following axiom is not allowed: EquivalentClasses(C4 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))

OWL QL Report (Informative)

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

The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C98 IntersectionOf(C2 C96) )
- due to class description IntersectionOf(C2 C96)
The following axiom is not allowed: ClassAssertion(ComplementOf(C118) V5478)
- due to class description ComplementOf(C118)
The following axiom is not allowed: EquivalentClasses(C74 IntersectionOf(C66 C72) )
- due to class description IntersectionOf(C66 C72)
The following axiom is not allowed: EquivalentClasses(C126 IntersectionOf(C124 C2) )
- due to class description IntersectionOf(C124 C2)
The following axiom is not allowed: EquivalentClasses(C104 IntersectionOf(C88 ComplementOf(C102)) )
- due to class description IntersectionOf(C88 ComplementOf(C102))
The following axiom is not allowed: EquivalentClasses(C38 IntersectionOf(ComplementOf(C26) ComplementOf(C36)) )
- due to class description IntersectionOf(ComplementOf(C26) ComplementOf(C36))
The following axiom is not allowed: EquivalentClasses(C30 SomeValuesFrom(R1 C28) )
- due to class description SomeValuesFrom(R1 C28)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C112)) V5475)
- due to class description AllValuesFrom(R1 ComplementOf(C112))
The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(ComplementOf(C2) ComplementOf(C54)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C54))
The following axiom is not allowed: EquivalentClasses(C132 SomeValuesFrom(R1 C130) )
- due to class description SomeValuesFrom(R1 C130)
The following axiom is not allowed: EquivalentClasses(C34 IntersectionOf(C30 ComplementOf(C32)) )
- due to class description IntersectionOf(C30 ComplementOf(C32))
The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 ComplementOf(C80)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C80))
The following axiom is not allowed: EquivalentClasses(C84 IntersectionOf(C74 C82) )
- due to class description IntersectionOf(C74 C82)
The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 C18) )
- due to class description SomeValuesFrom(R1 C18)
The following axiom is not allowed: EquivalentClasses(C66 IntersectionOf(C2 C64) )
- due to class description IntersectionOf(C2 C64)
The following axiom is not allowed: EquivalentClasses(C86 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C80 SomeValuesFrom(R1 C78) )
- due to class description SomeValuesFrom(R1 C78)
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(C76 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C130) V5478)
- due to class description ComplementOf(C130)
The following axiom is not allowed: EquivalentClasses(C60 IntersectionOf(C48 ComplementOf(C58)) )
- due to class description IntersectionOf(C48 ComplementOf(C58))
The following axiom is not allowed: EquivalentClasses(C114 SomeValuesFrom(R1 C112) )
- due to class description SomeValuesFrom(R1 C112)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C28)) V5478)
- due to class description AllValuesFrom(R1 ComplementOf(C28))
The following axiom is not allowed: EquivalentClasses(C140 IntersectionOf(C138 TOP) )
- due to class description IntersectionOf(C138 TOP)
The following axiom is not allowed: EquivalentClasses(C118 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C122 IntersectionOf(C120 ComplementOf(C2)) )
- due to class description IntersectionOf(C120 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C14 SomeValuesFrom(R1 C12) )
- due to class description SomeValuesFrom(R1 C12)
The following axiom is not allowed: ClassAssertion(ComplementOf(C30) V5478)
- due to class description ComplementOf(C30)
The following axiom is not allowed: EquivalentClasses(C12 SomeValuesFrom(R1 C10) )
- due to class description SomeValuesFrom(R1 C10)
The following axiom is not allowed: ClassAssertion(ComplementOf(C114) V5475)
- due to class description ComplementOf(C114)
The following axiom is not allowed: EquivalentClasses(C138 SomeValuesFrom(R1 C136) )
- due to class description SomeValuesFrom(R1 C136)
The following axiom is not allowed: EquivalentClasses(C58 SomeValuesFrom(R1 C56) )
- due to class description SomeValuesFrom(R1 C56)
The following axiom is not allowed: EquivalentClasses(C78 IntersectionOf(C2 C76) )
- due to class description IntersectionOf(C2 C76)
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(C4 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C112 SomeValuesFrom(R1 ComplementOf(C110)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C110))
The following axiom is not allowed: EquivalentClasses(C62 IntersectionOf(C38 ComplementOf(C60)) )
- due to class description IntersectionOf(C38 ComplementOf(C60))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C10)) V5478)
- due to class description AllValuesFrom(R1 ComplementOf(C10))
The following axiom is not allowed: EquivalentClasses(C116 IntersectionOf(TOP ComplementOf(C114)) )
- due to class description IntersectionOf(TOP ComplementOf(C114))
The following axiom is not allowed: EquivalentClasses(C6 IntersectionOf(C2 C4) )
- due to class description IntersectionOf(C2 C4)
The following axiom is not allowed: EquivalentClasses(C88 IntersectionOf(C2 C86) )
- due to class description IntersectionOf(C2 C86)
The following axiom is not allowed: EquivalentClasses(C136 SomeValuesFrom(R1 C134) )
- due to class description SomeValuesFrom(R1 C134)
The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 C6) )
- due to class description SomeValuesFrom(R1 C6)
The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C2 C90) )
- due to class description IntersectionOf(C2 C90)
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(C128 SomeValuesFrom(R1 C126) )
- due to class description SomeValuesFrom(R1 C126)
The following axiom is not allowed: EquivalentClasses(C124 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C100 IntersectionOf(C94 ComplementOf(C98)) )
- due to class description IntersectionOf(C94 ComplementOf(C98))
The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C16 C2) )
- due to class description IntersectionOf(C16 C2)
The following axiom is not allowed: EquivalentClasses(C46 SomeValuesFrom(R1 ComplementOf(C44)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C44))
The following axiom is not allowed: EquivalentClasses(C10 IntersectionOf(ComplementOf(C2) ComplementOf(C8)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C8))
The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C108 IntersectionOf(C84 ComplementOf(C106)) )
- due to class description IntersectionOf(C84 ComplementOf(C106))
The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C40 ComplementOf(C2)) )
- due to class description IntersectionOf(C40 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V5478)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C70 IntersectionOf(C2 C68) )
- due to class description IntersectionOf(C2 C68)
The following axiom is not allowed: EquivalentClasses(C44 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C134 IntersectionOf(C122 ComplementOf(C132)) )
- due to class description IntersectionOf(C122 ComplementOf(C132))
The following axiom is not allowed: EquivalentClasses(C22 IntersectionOf(ComplementOf(C2) ComplementOf(C20)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C20))
The following axiom is not allowed: EquivalentClasses(C102 SomeValuesFrom(R1 C100) )
- due to class description SomeValuesFrom(R1 C100)
The following axiom is not allowed: EquivalentClasses(C48 IntersectionOf(C42 C46) )
- due to class description IntersectionOf(C42 C46)
The following axiom is not allowed: EquivalentClasses(C110 IntersectionOf(C62 ComplementOf(C108)) )
- due to class description IntersectionOf(C62 ComplementOf(C108))
The following axiom is not allowed: EquivalentClasses(C50 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C68 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(TEST IntersectionOf(C116 C140) )
- due to class description IntersectionOf(C116 C140)
The following axiom is not allowed: EquivalentClasses(C36 SomeValuesFrom(R1 C34) )
- due to class description SomeValuesFrom(R1 C34)
The following axiom is not allowed: ClassAssertion(ComplementOf(C12) V5478)
- due to class description ComplementOf(C12)
The following axiom is not allowed: EquivalentClasses(C96 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C106 SomeValuesFrom(R1 C104) )
- due to class description SomeValuesFrom(R1 C104)
The following axiom is not allowed: EquivalentClasses(C72 SomeValuesFrom(R1 C70) )
- due to class description SomeValuesFrom(R1 C70)
The following axiom is not allowed: EquivalentClasses(C120 SomeValuesFrom(R1 ComplementOf(C118)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C118))
The following axiom is not allowed: EquivalentClasses(C26 IntersectionOf(C14 ComplementOf(C24)) )
- due to class description IntersectionOf(C14 ComplementOf(C24))
The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C34) V5478)
- due to class description ComplementOf(C34)
The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(C2 C50) )
- due to class description IntersectionOf(C2 C50)
The following axiom is not allowed: EquivalentClasses(C90 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C130 IntersectionOf(ComplementOf(C128) ComplementOf(C2)) )
- due to class description IntersectionOf(ComplementOf(C128) ComplementOf(C2))

OWL RL Report (Informative)

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

The following axiom is not allowed: EquivalentClasses(C122 IntersectionOf(C120 ComplementOf(C2)) )
- due to class description IntersectionOf(C120 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C136 SomeValuesFrom(R1 C134) )
- due to class description SomeValuesFrom(R1 C134)
The following axiom is not allowed: EquivalentClasses(C116 IntersectionOf(TOP ComplementOf(C114)) )
- due to class description IntersectionOf(TOP ComplementOf(C114))
The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(ComplementOf(C2) ComplementOf(C54)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C54))
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(C108 IntersectionOf(C84 ComplementOf(C106)) )
- due to class description IntersectionOf(C84 ComplementOf(C106))
The following axiom is not allowed: EquivalentClasses(C60 IntersectionOf(C48 ComplementOf(C58)) )
- due to class description IntersectionOf(C48 ComplementOf(C58))
The following axiom is not allowed: EquivalentClasses(C24 SomeValuesFrom(R1 C22) )
- due to class description SomeValuesFrom(R1 C22)
The following axiom is not allowed: ClassAssertion(ComplementOf(C30) V5478)
- due to class description ComplementOf(C30)
The following axiom is not allowed: EquivalentClasses(C96 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C28)) V5478)
- due to class description AllValuesFrom(R1 ComplementOf(C28))
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(C10 IntersectionOf(ComplementOf(C2) ComplementOf(C8)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C8))
The following axiom is not allowed: EquivalentClasses(C68 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C50 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C118 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C100 IntersectionOf(C94 ComplementOf(C98)) )
- due to class description IntersectionOf(C94 ComplementOf(C98))
The following axiom is not allowed: EquivalentClasses(C26 IntersectionOf(C14 ComplementOf(C24)) )
- due to class description IntersectionOf(C14 ComplementOf(C24))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C10)) V5478)
- due to class description AllValuesFrom(R1 ComplementOf(C10))
The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C58 SomeValuesFrom(R1 C56) )
- due to class description SomeValuesFrom(R1 C56)
The following axiom is not allowed: EquivalentClasses(C76 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C104 IntersectionOf(C88 ComplementOf(C102)) )
- due to class description IntersectionOf(C88 ComplementOf(C102))
The following axiom is not allowed: EquivalentClasses(C4 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C12) V5478)
- due to class description ComplementOf(C12)
The following axiom is not allowed: EquivalentClasses(C14 SomeValuesFrom(R1 C12) )
- due to class description SomeValuesFrom(R1 C12)
The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C40 ComplementOf(C2)) )
- due to class description IntersectionOf(C40 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C114 SomeValuesFrom(R1 C112) )
- due to class description SomeValuesFrom(R1 C112)
The following axiom is not allowed: EquivalentClasses(C134 IntersectionOf(C122 ComplementOf(C132)) )
- due to class description IntersectionOf(C122 ComplementOf(C132))
The following axiom is not allowed: ClassAssertion(ComplementOf(C114) V5475)
- due to class description ComplementOf(C114)
The following axiom is not allowed: EquivalentClasses(C30 SomeValuesFrom(R1 C28) )
- due to class description SomeValuesFrom(R1 C28)
The following axiom is not allowed: EquivalentClasses(C80 SomeValuesFrom(R1 C78) )
- due to class description SomeValuesFrom(R1 C78)
The following axiom is not allowed: EquivalentClasses(C138 SomeValuesFrom(R1 C136) )
- due to class description SomeValuesFrom(R1 C136)
The following axiom is not allowed: EquivalentClasses(C38 IntersectionOf(ComplementOf(C26) ComplementOf(C36)) )
- due to class description IntersectionOf(ComplementOf(C26) ComplementOf(C36))
The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 C18) )
- due to class description SomeValuesFrom(R1 C18)
The following axiom is not allowed: EquivalentClasses(C128 SomeValuesFrom(R1 C126) )
- due to class description SomeValuesFrom(R1 C126)
The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 ComplementOf(C80)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C80))
The following axiom is not allowed: EquivalentClasses(C44 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C130) V5478)
- due to class description ComplementOf(C130)
The following axiom is not allowed: EquivalentClasses(C34 IntersectionOf(C30 ComplementOf(C32)) )
- due to class description IntersectionOf(C30 ComplementOf(C32))
The following axiom is not allowed: EquivalentClasses(C120 SomeValuesFrom(R1 ComplementOf(C118)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C118))
The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C36 SomeValuesFrom(R1 C34) )
- due to class description SomeValuesFrom(R1 C34)
The following axiom is not allowed: EquivalentClasses(C72 SomeValuesFrom(R1 C70) )
- due to class description SomeValuesFrom(R1 C70)
The following axiom is not allowed: EquivalentClasses(C106 SomeValuesFrom(R1 C104) )
- due to class description SomeValuesFrom(R1 C104)
The following axiom is not allowed: ClassAssertion(ComplementOf(C118) V5478)
- due to class description ComplementOf(C118)
The following axiom is not allowed: EquivalentClasses(C86 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C34) V5478)
- due to class description ComplementOf(C34)
The following axiom is not allowed: EquivalentClasses(C124 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C90 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C22 IntersectionOf(ComplementOf(C2) ComplementOf(C20)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C20))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C112)) V5475)
- due to class description AllValuesFrom(R1 ComplementOf(C112))
The following axiom is not allowed: EquivalentClasses(C110 IntersectionOf(C62 ComplementOf(C108)) )
- due to class description IntersectionOf(C62 ComplementOf(C108))
The following axiom is not allowed: EquivalentClasses(C130 IntersectionOf(ComplementOf(C128) ComplementOf(C2)) )
- due to class description IntersectionOf(ComplementOf(C128) ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C102 SomeValuesFrom(R1 C100) )
- due to class description SomeValuesFrom(R1 C100)
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(C112 SomeValuesFrom(R1 ComplementOf(C110)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C110))
The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 C6) )
- due to class description SomeValuesFrom(R1 C6)
The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C132 SomeValuesFrom(R1 C130) )
- due to class description SomeValuesFrom(R1 C130)
The following axiom is not allowed: EquivalentClasses(C46 SomeValuesFrom(R1 ComplementOf(C44)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C44))
The following axiom is not allowed: EquivalentClasses(C62 IntersectionOf(C38 ComplementOf(C60)) )
- due to class description IntersectionOf(C38 ComplementOf(C60))

TestCase:WebOnt-description-logic-203

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