TestCase:WebOnt-description-logic-201

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-201
Description	DL Test: ABox test from DL98 systems comparison.
Status	Approved (2009-04-28, when passed by 2 implementations) (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/Manifest201#test
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/premises201" 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:Class rdf:about="http://oiled.man.example.net/test#C12"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C14"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C18"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> </owl:complementOf> </owl:Class> <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 rdf:about="http://oiled.man.example.net/test#C20"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C24"> <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#C26"> <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#C24"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C28"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C26"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C22"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C28"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C32"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"/> </owl:complementOf> </owl:Class> <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#C34"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C36"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:intersectionOf> </owl:Class> </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"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C40"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C38"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:intersectionOf> </owl:Class> </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 rdf:about="http://oiled.man.example.net/test#C34"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </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 rdf:about="http://oiled.man.example.net/test#C42"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C46"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C44"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C40"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C46"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C50"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C48"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C32"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C50"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C54"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C14"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"/> </owl:intersectionOf> </owl:Class> </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 rdf:about="http://oiled.man.example.net/test#C4"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </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:Class> <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#C34"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"> <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#C58"/> </owl:someValuesFrom> </owl:Restriction> </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#C4"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </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: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#C34"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"> <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#C64"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"/> </owl:intersectionOf> </owl:Class> </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#C2"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C70"/> </owl:intersectionOf> </owl:Class> </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#C54"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"> <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#C4"/> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C78"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> </owl:complementOf> </owl:Class> <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#C84"> <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#C82"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C84"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> </owl:intersectionOf> </owl:Class> </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#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#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#C92"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C96"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"/> </owl:complementOf> </owl:Class> <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#C98"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> <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#C2"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"> <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#C4"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C100"> <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#C98"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C102"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:intersectionOf> </owl:Class> </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#C34"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </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#C106"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C102"/> </owl:complementOf> </owl:Class> <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:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C110"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C114"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C112"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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 rdf:about="http://oiled.man.example.net/test#C80"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C114"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C118"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C120"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C118"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C122"> <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#C120"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C124"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:complementOf> </owl:Class> </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 rdf:about="http://oiled.man.example.net/test#C122"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C128"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C132"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C130"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C132"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C136"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C116"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C134"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C136"/> </owl:complementOf> </owl:Class> </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#C74"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C138"/> </owl:complementOf> </owl:Class> </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#C6"/> <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#V822576"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> </rdf:type> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </rdf:type> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </rdf:type> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C132"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C108"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C102"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C84"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C78"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C134"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C112"/> </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#C98"/> </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#C88"/> </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#C82"/> </owl:complementOf> </owl:Class> </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/conclusions201" > <owl:Ontology/> <owl:Thing rdf:about="http://oiled.man.example.net/test#V822576"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C110"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V822576"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V822576"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C136"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V822576"> <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#V822576"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V822576"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V822576"> <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#V822576"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C114"/> </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(C70 IntersectionOf(C2 ComplementOf(C4)) )
- due to class description IntersectionOf(C2 ComplementOf(C4))
The following axiom is not allowed: ClassAssertion(ComplementOf(C96) V822576)
- due to class description ComplementOf(C96)
The following axiom is not allowed: EquivalentClasses(C50 IntersectionOf(C4 ComplementOf(C48)) )
- due to class description IntersectionOf(C4 ComplementOf(C48))
The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(ComplementOf(C32) ComplementOf(C50)) )
- due to class description IntersectionOf(ComplementOf(C32) ComplementOf(C50))
The following axiom is not allowed: ClassAssertion(ComplementOf(C102) V822576)
- due to class description ComplementOf(C102)
The following axiom is not allowed: ClassAssertion(ComplementOf(C132) V822576)
- due to class description ComplementOf(C132)
The following axiom is not allowed: EquivalentClasses(C80 IntersectionOf(ComplementOf(C76) ComplementOf(C78)) )
- due to class description IntersectionOf(ComplementOf(C76) ComplementOf(C78))
The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C44 ComplementOf(C34)) )
- due to class description IntersectionOf(C44 ComplementOf(C34))
The following axiom is not allowed: EquivalentClasses(C138 SomeValuesFrom(R1 ComplementOf(C136)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C136))
The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C2 ComplementOf(C16)) )
- due to class description IntersectionOf(C2 ComplementOf(C16))
The following axiom is not allowed: EquivalentClasses(C132 IntersectionOf(C2 ComplementOf(C4)) )
- due to class description IntersectionOf(C2 ComplementOf(C4))
The following axiom is not allowed: EquivalentClasses(C62 IntersectionOf(C4 ComplementOf(C10)) )
- due to class description IntersectionOf(C4 ComplementOf(C10))
The following axiom is not allowed: EquivalentClasses(C136 IntersectionOf(C116 ComplementOf(C134)) )
- due to class description IntersectionOf(C116 ComplementOf(C134))
The following axiom is not allowed: EquivalentClasses(C82 IntersectionOf(C2 ComplementOf(C16)) )
- due to class description IntersectionOf(C2 ComplementOf(C16))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C82)) V822576)
- due to class description AllValuesFrom(R1 ComplementOf(C82))
The following axiom is not allowed: EquivalentClasses(C14 IntersectionOf(ComplementOf(C12) ComplementOf(C8)) )
- due to class description IntersectionOf(ComplementOf(C12) ComplementOf(C8))
The following axiom is not allowed: ClassAssertion(ComplementOf(C86) V822576)
- due to class description ComplementOf(C86)
The following axiom is not allowed: ClassAssertion(ComplementOf(C108) V822576)
- due to class description ComplementOf(C108)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C88)) V822576)
- due to class description AllValuesFrom(R1 ComplementOf(C88))
The following axiom is not allowed: EquivalentClasses(C134 IntersectionOf(C132 ComplementOf(C130)) )
- due to class description IntersectionOf(C132 ComplementOf(C130))
The following axiom is not allowed: EquivalentClasses(C6 IntersectionOf(C2 ComplementOf(C4)) )
- due to class description IntersectionOf(C2 ComplementOf(C4))
The following axiom is not allowed: EquivalentClasses(C140 IntersectionOf(C74 ComplementOf(C138)) )
- due to class description IntersectionOf(C74 ComplementOf(C138))
The following axiom is not allowed: ClassAssertion(ComplementOf(C76) V822576)
- due to class description ComplementOf(C76)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C98)) V822576)
- due to class description AllValuesFrom(R1 ComplementOf(C98))
The following axiom is not allowed: EquivalentClasses(C64 IntersectionOf(C62 ComplementOf(C34)) )
- due to class description IntersectionOf(C62 ComplementOf(C34))
The following axiom is not allowed: EquivalentClasses(C98 IntersectionOf(C4 ComplementOf(C34)) )
- due to class description IntersectionOf(C4 ComplementOf(C34))
The following axiom is not allowed: EquivalentClasses(C74 IntersectionOf(C54 ComplementOf(C72)) )
- due to class description IntersectionOf(C54 ComplementOf(C72))
The following axiom is not allowed: EquivalentClasses(C28 IntersectionOf(C26 ComplementOf(C16)) )
- due to class description IntersectionOf(C26 ComplementOf(C16))
The following axiom is not allowed: ClassAssertion(ComplementOf(C90) V822576)
- due to class description ComplementOf(C90)
The following axiom is not allowed: EquivalentClasses(C118 IntersectionOf(C4 ComplementOf(C10)) )
- due to class description IntersectionOf(C4 ComplementOf(C10))
The following axiom is not allowed: ClassAssertion(ComplementOf(C10) V822576)
- due to class description ComplementOf(C10)
The following axiom is not allowed: EquivalentClasses(C126 IntersectionOf(C124 ComplementOf(C34)) )
- due to class description IntersectionOf(C124 ComplementOf(C34))
The following axiom is not allowed: EquivalentClasses(C78 IntersectionOf(C10 ComplementOf(C4)) )
- due to class description IntersectionOf(C10 ComplementOf(C4))
The following axiom is not allowed: EquivalentClasses(C114 IntersectionOf(ComplementOf(C112) ComplementOf(C96)) )
- due to class description IntersectionOf(ComplementOf(C112) ComplementOf(C96))
The following axiom is not allowed: EquivalentClasses(C32 IntersectionOf(C2 ComplementOf(C30)) )
- due to class description IntersectionOf(C2 ComplementOf(C30))
The following axiom is not allowed: EquivalentClasses(C112 IntersectionOf(C4 ComplementOf(C110)) )
- due to class description IntersectionOf(C4 ComplementOf(C110))
The following axiom is not allowed: ClassAssertion(ComplementOf(C92) V822576)
- due to class description ComplementOf(C92)
The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C90 ComplementOf(C16)) )
- due to class description IntersectionOf(C90 ComplementOf(C16))
The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C70 ComplementOf(C68)) )
- due to class description IntersectionOf(C70 ComplementOf(C68))
The following axiom is not allowed: EquivalentClasses(C124 IntersectionOf(C4 ComplementOf(C10)) )
- due to class description IntersectionOf(C4 ComplementOf(C10))
The following axiom is not allowed: EquivalentClasses(C110 IntersectionOf(ComplementOf(C102) ComplementOf(C108)) )
- due to class description IntersectionOf(ComplementOf(C102) ComplementOf(C108))
The following axiom is not allowed: EquivalentClasses(C96 IntersectionOf(C2 ComplementOf(C94)) )
- due to class description IntersectionOf(C2 ComplementOf(C94))
The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(ComplementOf(C22) ComplementOf(C28)) )
- due to class description IntersectionOf(ComplementOf(C22) ComplementOf(C28))
The following axiom is not allowed: ClassAssertion(ComplementOf(C134) V822576)
- due to class description ComplementOf(C134)
The following axiom is not allowed: EquivalentClasses(C76 IntersectionOf(C4 ComplementOf(C2)) )
- due to class description IntersectionOf(C4 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C100) V822576)
- due to class description ComplementOf(C100)
The following axiom is not allowed: ClassAssertion(ComplementOf(C18) V822576)
- due to class description ComplementOf(C18)
The following axiom is not allowed: ClassAssertion(ComplementOf(C84) V822576)
- due to class description ComplementOf(C84)
The following axiom is not allowed: ClassAssertion(ComplementOf(C78) V822576)
- due to class description ComplementOf(C78)
The following axiom is not allowed: EquivalentClasses(C36 IntersectionOf(C4 ComplementOf(C34)) )
- due to class description IntersectionOf(C4 ComplementOf(C34))
The following axiom is not allowed: EquivalentClasses(C94 IntersectionOf(ComplementOf(C86) ComplementOf(C92)) )
- due to class description IntersectionOf(ComplementOf(C86) ComplementOf(C92))
The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C4 ComplementOf(C10)) )
- due to class description IntersectionOf(C4 ComplementOf(C10))
The following axiom is not allowed: ClassAssertion(ComplementOf(C112) V822576)
- due to class description ComplementOf(C112)
The following axiom is not allowed: EquivalentClasses(C48 IntersectionOf(ComplementOf(C40) ComplementOf(C46)) )
- due to class description IntersectionOf(ComplementOf(C40) ComplementOf(C46))
The following axiom is not allowed: EquivalentClasses(C8 IntersectionOf(C4 ComplementOf(C2)) )
- due to class description IntersectionOf(C4 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C12 IntersectionOf(C10 ComplementOf(C4)) )
- due to class description IntersectionOf(C10 ComplementOf(C4))
The following axiom is not allowed: EquivalentClasses(C108 IntersectionOf(C106 ComplementOf(C34)) )
- due to class description IntersectionOf(C106 ComplementOf(C34))

OWL QL Report (Informative)

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

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

OWL RL Report (Informative)

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

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

TestCase:WebOnt-description-logic-201

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