TestCase:WebOnt-description-logic-202

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-202
Description	DL Test: k_d4 ABox test from DL98 systems comparison.
Status	Extra credit (2009-07-02 when passed by two or more 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/Manifest202#test
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/premises202" 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 rdf:about="http://oiled.man.example.net/test#C4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"/> </owl:intersectionOf> </owl:Class> </owl: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#TOP"/> </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#C14"/> </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#C12"/> <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#C20"> <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#C22"> <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#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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C20"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C24"/> </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 rdf:about="http://oiled.man.example.net/test#C26"/> </owl:someValuesFrom> </owl:Restriction> </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 rdf:about="http://oiled.man.example.net/test#C18"/> <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:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"> <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#C32"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C36"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl: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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C36"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C40"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C38"/> </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#C34"/> </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 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#C30"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C44"/> </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: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#C50"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"> <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> <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: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 rdf:about="http://oiled.man.example.net/test#C46"/> <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#C2"/> </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#C58"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </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:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C64"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C64"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </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 rdf:about="http://oiled.man.example.net/test#C66"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C70"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C62"/> </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:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C74"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C78"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class> <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#C80"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C78"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </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:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"/> </owl:someValuesFrom> </owl:Restriction> </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> <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#C86"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C84"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#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> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/> </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#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: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#C8"> <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#C6"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </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#C76"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"/> </owl:complementOf> </owl:Class> </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#V8467"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C26"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C42"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </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> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8475"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8474"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8473"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8472"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8471"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8469"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8470"/> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8468"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8468"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8469"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/> </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 rdf:about="http://oiled.man.example.net/test#C2"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8470"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8471"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </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: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> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8472"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </rdf:type> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V8476"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8473"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8474"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C32"/> </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#C2"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8475"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:complementOf> </owl:Class> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8476"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </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/conclusions202" > <owl:Ontology/> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8472"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8472"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C58"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C20"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C48"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C62"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C14"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8467"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V8471"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"/> </rdf:type> </owl:Thing> </rdf:RDF>
Imported ontologies	none

The version of this test approved by the WebOnt WG was incorrect. The conclusion ontology present in that version of the test was marked as an OWL Lite document, but was not OWL Lite because it did not contain a triple of the form O rdf:type owl:Ontology. The ontology has been revised to contain the necessary triple.

OWL EL Report (Informative)

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

The following axiom is not allowed: EquivalentClasses(C86 IntersectionOf(ComplementOf(C2) ComplementOf(C84)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C84))
The following axiom is not allowed: ClassAssertion(ComplementOf(C92) V8467)
- due to class description ComplementOf(C92)
The following axiom is not allowed: ClassAssertion(ComplementOf(C72) V8467)
- due to class description ComplementOf(C72)
The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C90 ComplementOf(C82)) )
- due to class description IntersectionOf(C90 ComplementOf(C82))
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8470)
The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C30 ComplementOf(C44)) )
- due to class description IntersectionOf(C30 ComplementOf(C44))
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8471)
- due to class description ComplementOf(C2)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8474)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8471)
The following axiom is not allowed: EquivalentClasses(C66 IntersectionOf(C64 ComplementOf(C2)) )
- due to class description IntersectionOf(C64 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C26 IntersectionOf(C24 ComplementOf(C20)) )
- due to class description IntersectionOf(C24 ComplementOf(C20))
The following axiom is not allowed: EquivalentClasses(C84 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(TEST IntersectionOf(C76 ComplementOf(C94)) )
- due to class description IntersectionOf(C76 ComplementOf(C94))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8471)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: ClassAssertion(ComplementOf(C32) V8474)
- due to class description ComplementOf(C32)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C2)) V8474)
- due to class description AllValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8475)
The following axiom is not allowed: EquivalentClasses(C38 SomeValuesFrom(R1 ComplementOf(C36)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C36))
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8472)
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8475)
- due to class description ComplementOf(C2)
The following axiom is not allowed: ClassAssertion(ComplementOf(C26) V8467)
- due to class description ComplementOf(C26)
The following axiom is not allowed: EquivalentClasses(C22 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
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(C60 IntersectionOf(C58 ComplementOf(C2)) )
- due to class description IntersectionOf(C58 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C12 ComplementOf(C16)) )
- due to class description IntersectionOf(C12 ComplementOf(C16))
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8473)
The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(C18 ComplementOf(C28)) )
- due to class description IntersectionOf(C18 ComplementOf(C28))
The following axiom is not allowed: EquivalentClasses(C78 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C6 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C42) V8467)
- due to class description ComplementOf(C42)
The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(ComplementOf(C48) ComplementOf(C50)) )
- due to class description IntersectionOf(ComplementOf(C48) ComplementOf(C50))
The following axiom is not allowed: ClassAssertion(ComplementOf(C78) V8471)
- due to class description ComplementOf(C78)
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8468)
- due to class description ComplementOf(C2)
The following axiom is not allowed: ClassAssertion(ComplementOf(C6) V8469)
- due to class description ComplementOf(C6)
The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C34 SomeValuesFrom(R1 ComplementOf(C32)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C32))
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8469)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8469)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 ComplementOf(C6)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C6))
The following axiom is not allowed: EquivalentClasses(C76 IntersectionOf(C56 ComplementOf(C74)) )
- due to class description IntersectionOf(C56 ComplementOf(C74))
The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C40 ComplementOf(C34)) )
- due to class description IntersectionOf(C40 ComplementOf(C34))
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8472)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C80 IntersectionOf(ComplementOf(C2) ComplementOf(C78)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C78))
The following axiom is not allowed: ClassAssertion(ComplementOf(C52) V8467)
- due to class description ComplementOf(C52)
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8472 V8476)
The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C70 ComplementOf(C62)) )
- due to class description IntersectionOf(C70 ComplementOf(C62))
The following axiom is not allowed: EquivalentClasses(C48 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8473)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 ComplementOf(C14)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C14))
The following axiom is not allowed: ObjectPropertyAssertion(R1 V8467 V8468)
The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C46 ComplementOf(C54)) )
- due to class description IntersectionOf(C46 ComplementOf(C54))

OWL QL Report (Informative)

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

The following axiom is not allowed: EquivalentClasses(C22 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(ComplementOf(C48) ComplementOf(C50)) )
- due to class description IntersectionOf(ComplementOf(C48) ComplementOf(C50))
The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 ComplementOf(C14)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C14))
The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 C80) )
- due to class description SomeValuesFrom(R1 C80)
The following axiom is not allowed: EquivalentClasses(C78 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C26) V8467)
- due to class description ComplementOf(C26)
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8471)
- due to class description ComplementOf(C2)
The following axiom is not allowed: ClassAssertion(ComplementOf(C78) V8471)
- due to class description ComplementOf(C78)
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8468)
- due to class description ComplementOf(C2)
The following axiom is not allowed: ClassAssertion(ComplementOf(C72) V8467)
- due to class description ComplementOf(C72)
The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 C38) )
- due to class description SomeValuesFrom(R1 C38)
The following axiom is not allowed: EquivalentClasses(C58 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C70 ComplementOf(C62)) )
- due to class description IntersectionOf(C70 ComplementOf(C62))
The following axiom is not allowed: ClassAssertion(ComplementOf(C42) V8467)
- due to class description ComplementOf(C42)
The following axiom is not allowed: EquivalentClasses(C34 SomeValuesFrom(R1 ComplementOf(C32)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C32))
The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C40 ComplementOf(C34)) )
- due to class description IntersectionOf(C40 ComplementOf(C34))
The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C30 ComplementOf(C44)) )
- due to class description IntersectionOf(C30 ComplementOf(C44))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8469)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C60 IntersectionOf(C58 ComplementOf(C2)) )
- due to class description IntersectionOf(C58 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C66 IntersectionOf(C64 ComplementOf(C2)) )
- due to class description IntersectionOf(C64 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C6 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
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(C90 SomeValuesFrom(R1 C88) )
- due to class description SomeValuesFrom(R1 C88)
The following axiom is not allowed: EquivalentClasses(C86 IntersectionOf(ComplementOf(C2) ComplementOf(C84)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C84))
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(C70 SomeValuesFrom(R1 C68) )
- due to class description SomeValuesFrom(R1 C68)
The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C38 SomeValuesFrom(R1 ComplementOf(C36)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C36))
The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 ComplementOf(C6)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C6))
The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C46 ComplementOf(C54)) )
- due to class description IntersectionOf(C46 ComplementOf(C54))
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8475)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C68 SomeValuesFrom(R1 C66) )
- due to class description SomeValuesFrom(R1 C66)
The following axiom is not allowed: EquivalentClasses(C80 IntersectionOf(ComplementOf(C2) ComplementOf(C78)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C78))
The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 C26) )
- due to class description SomeValuesFrom(R1 C26)
The following axiom is not allowed: EquivalentClasses(C14 SomeValuesFrom(R1 TOP) )
- due to class description SomeValuesFrom(R1 TOP)
The following axiom is not allowed: ClassAssertion(ComplementOf(C32) V8474)
- due to class description ComplementOf(C32)
The following axiom is not allowed: ClassAssertion(ComplementOf(C6) V8469)
- due to class description ComplementOf(C6)
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(C76 IntersectionOf(C56 ComplementOf(C74)) )
- due to class description IntersectionOf(C56 ComplementOf(C74))
The following axiom is not allowed: EquivalentClasses(C36 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C12 ComplementOf(C16)) )
- due to class description IntersectionOf(C12 ComplementOf(C16))
The following axiom is not allowed: EquivalentClasses(C44 SomeValuesFrom(R1 C42) )
- due to class description SomeValuesFrom(R1 C42)
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8472)
- due to class description ComplementOf(C2)
The following axiom is not allowed: ClassAssertion(ComplementOf(C52) V8467)
- due to class description ComplementOf(C52)
The following axiom is not allowed: EquivalentClasses(C74 SomeValuesFrom(R1 C72) )
- due to class description SomeValuesFrom(R1 C72)
The following axiom is not allowed: EquivalentClasses(C24 SomeValuesFrom(R1 C22) )
- due to class description SomeValuesFrom(R1 C22)
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(C84 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C90 ComplementOf(C82)) )
- due to class description IntersectionOf(C90 ComplementOf(C82))
The following axiom is not allowed: EquivalentClasses(C48 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C92) V8467)
- due to class description ComplementOf(C92)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C2)) V8474)
- due to class description AllValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 C2) V8471)
- due to class description AllValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(TEST IntersectionOf(C76 ComplementOf(C94)) )
- due to class description IntersectionOf(C76 ComplementOf(C94))
The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(C18 ComplementOf(C28)) )
- due to class description IntersectionOf(C18 ComplementOf(C28))
The following axiom is not allowed: EquivalentClasses(C10 IntersectionOf(C4 C8) )
- due to class description IntersectionOf(C4 C8)
The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C26 IntersectionOf(C24 ComplementOf(C20)) )
- due to class description IntersectionOf(C24 ComplementOf(C20))
The following axiom is not allowed: EquivalentClasses(C88 SomeValuesFrom(R1 C86) )
- due to class description SomeValuesFrom(R1 C86)
The following axiom is not allowed: EquivalentClasses(C50 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8473)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C62 SomeValuesFrom(R1 C60) )
- due to class description SomeValuesFrom(R1 C60)

OWL RL Report (Informative)

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

The following axiom is not allowed: EquivalentClasses(C80 IntersectionOf(ComplementOf(C2) ComplementOf(C78)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C78))
The following axiom is not allowed: EquivalentClasses(C6 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8473)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C74 SomeValuesFrom(R1 C72) )
- due to class description SomeValuesFrom(R1 C72)
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8475)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C82 SomeValuesFrom(R1 C80) )
- due to class description SomeValuesFrom(R1 C80)
The following axiom is not allowed: EquivalentClasses(C58 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C76 IntersectionOf(C56 ComplementOf(C74)) )
- due to class description IntersectionOf(C56 ComplementOf(C74))
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(C38 SomeValuesFrom(R1 ComplementOf(C36)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C36))
The following axiom is not allowed: ClassAssertion(ComplementOf(C52) V8467)
- due to class description ComplementOf(C52)
The following axiom is not allowed: EquivalentClasses(C78 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C20 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C62 SomeValuesFrom(R1 C60) )
- due to class description SomeValuesFrom(R1 C60)
The following axiom is not allowed: EquivalentClasses(C12 SomeValuesFrom(R1 C10) )
- due to class description SomeValuesFrom(R1 C10)
The following axiom is not allowed: EquivalentClasses(C8 SomeValuesFrom(R1 ComplementOf(C6)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C6))
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(C68 SomeValuesFrom(R1 C66) )
- due to class description SomeValuesFrom(R1 C66)
The following axiom is not allowed: EquivalentClasses(C60 IntersectionOf(C58 ComplementOf(C2)) )
- due to class description IntersectionOf(C58 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(TEST IntersectionOf(C76 ComplementOf(C94)) )
- due to class description IntersectionOf(C76 ComplementOf(C94))
The following axiom is not allowed: EquivalentClasses(C86 IntersectionOf(ComplementOf(C2) ComplementOf(C84)) )
- due to class description IntersectionOf(ComplementOf(C2) ComplementOf(C84))
The following axiom is not allowed: EquivalentClasses(C72 IntersectionOf(C70 ComplementOf(C62)) )
- due to class description IntersectionOf(C70 ComplementOf(C62))
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(C66 IntersectionOf(C64 ComplementOf(C2)) )
- due to class description IntersectionOf(C64 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C32 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8468)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C18 IntersectionOf(C12 ComplementOf(C16)) )
- due to class description IntersectionOf(C12 ComplementOf(C16))
The following axiom is not allowed: ClassAssertion(ComplementOf(C72) V8467)
- due to class description ComplementOf(C72)
The following axiom is not allowed: EquivalentClasses(C46 IntersectionOf(C30 ComplementOf(C44)) )
- due to class description IntersectionOf(C30 ComplementOf(C44))
The following axiom is not allowed: EquivalentClasses(C30 IntersectionOf(C18 ComplementOf(C28)) )
- due to class description IntersectionOf(C18 ComplementOf(C28))
The following axiom is not allowed: EquivalentClasses(C52 IntersectionOf(ComplementOf(C48) ComplementOf(C50)) )
- due to class description IntersectionOf(ComplementOf(C48) ComplementOf(C50))
The following axiom is not allowed: ClassAssertion(ComplementOf(C42) V8467)
- due to class description ComplementOf(C42)
The following axiom is not allowed: ClassAssertion(ComplementOf(C6) V8469)
- due to class description ComplementOf(C6)
The following axiom is not allowed: EquivalentClasses(C26 IntersectionOf(C24 ComplementOf(C20)) )
- due to class description IntersectionOf(C24 ComplementOf(C20))
The following axiom is not allowed: EquivalentClasses(C28 SomeValuesFrom(R1 C26) )
- due to class description SomeValuesFrom(R1 C26)
The following axiom is not allowed: EquivalentClasses(C36 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C64 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C42 IntersectionOf(C40 ComplementOf(C34)) )
- due to class description IntersectionOf(C40 ComplementOf(C34))
The following axiom is not allowed: ClassAssertion(ComplementOf(C92) V8467)
- due to class description ComplementOf(C92)
The following axiom is not allowed: ClassAssertion(AllValuesFrom(R1 ComplementOf(C2)) V8474)
- due to class description AllValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C56 IntersectionOf(C46 ComplementOf(C54)) )
- due to class description IntersectionOf(C46 ComplementOf(C54))
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8472)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C22 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C14 SomeValuesFrom(R1 TOP) )
- due to class description SomeValuesFrom(R1 TOP)
The following axiom is not allowed: EquivalentClasses(C84 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: ClassAssertion(ComplementOf(C78) V8471)
- due to class description ComplementOf(C78)
The following axiom is not allowed: ClassAssertion(ComplementOf(C32) V8474)
- due to class description ComplementOf(C32)
The following axiom is not allowed: EquivalentClasses(C16 SomeValuesFrom(R1 ComplementOf(C14)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C14))
The following axiom is not allowed: ClassAssertion(ComplementOf(C26) V8467)
- due to class description ComplementOf(C26)
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(C48 SomeValuesFrom(R1 ComplementOf(C2)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C2))
The following axiom is not allowed: EquivalentClasses(C92 IntersectionOf(C90 ComplementOf(C82)) )
- due to class description IntersectionOf(C90 ComplementOf(C82))
The following axiom is not allowed: ClassAssertion(ComplementOf(C2) V8471)
- due to class description ComplementOf(C2)
The following axiom is not allowed: EquivalentClasses(C88 SomeValuesFrom(R1 C86) )
- due to class description SomeValuesFrom(R1 C86)
The following axiom is not allowed: EquivalentClasses(C40 SomeValuesFrom(R1 C38) )
- due to class description SomeValuesFrom(R1 C38)
The following axiom is not allowed: EquivalentClasses(C34 SomeValuesFrom(R1 ComplementOf(C32)) )
- due to class description SomeValuesFrom(R1 ComplementOf(C32))
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(C50 SomeValuesFrom(R1 C2) )
- due to class description SomeValuesFrom(R1 C2)
The following axiom is not allowed: EquivalentClasses(C70 SomeValuesFrom(R1 C68) )
- due to class description SomeValuesFrom(R1 C68)

TestCase:WebOnt-description-logic-202

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