Report on Parsing the OWL tests Peter F. Patel-Schneider Bell Labs Research 16 September 2003 I ran OWLP 0.6, a parser for OWL DL and OWL Lite, on the current OWL tests, using the file at http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest.rdf OWLP is currently a parser for the OWL DL and OWL Lite language as written in RDF/XML. It works by 1/ processing an RDF/XML document into an XQuery 1.0 path datamodel; 2/ translating this datamodel into an RDF graph, using the current editor's draft of the RDF Syntax document; 3/ processing imports triples, adding the result to the RDF graph; 4/ translating the final RDF graph into an OWL DL abstract ontology, using an inverse of the translation in the OWL Semantics and Abstract Syntax document. Any RDF/XML document is an OWL Full document. An RDF/XML document is an OWL DL document if and only if the above process succeeds. An OWL DL document is an OWL Lite document if and only if a post-processing pass on the OWL DL ontology does not find any non-Lite constructs. The interface used here looks for tests in the manifest file and attempts to parse every OWL document in every approved and proposed test. A failure is reported if OWL level for a document is different from the discovered level of the document. No failures were reported during this processing. A log of the process follows, showing which documents were processed and what syntax errors were found. A separate file contains an RDF summary of the results of the processing. saras65k 138> ./owlTest "http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest.rdf" > results2 Running approved tests Trying not OWL <http://www.w3.org/2002/03owlt/I3.2/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I3.2/bad001 Reading DL http://www.w3.org/2002/03owlt/I3.2/bad001 OWL ERROR: Unused triple _:B14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> Required level Full Actual level Full Trying not OWL <http://www.w3.org/2002/03owlt/I3.2/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I3.2/bad002 Reading DL http://www.w3.org/2002/03owlt/I3.2/bad002 OWL ERROR: Unused triple _:B15 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> Required level Full Actual level Full Trying not OWL <http://www.w3.org/2002/03owlt/I3.2/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I3.2/bad003 Reading DL http://www.w3.org/2002/03owlt/I3.2/bad003 OWL ERROR: Unused triple _:B16 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> Required level Full Actual level Full Trying not OWL <http://www.w3.org/2002/03owlt/I3.4/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I3.4/bad001 Reading DL http://www.w3.org/2002/03owlt/I3.4/bad001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I3.4/bad001#Name> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#UnambiguousProperty> Required level Full Actual level Full Trying not OWL <http://www.w3.org/2002/03owlt/I4.1/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I4.1/bad001 Reading DL http://www.w3.org/2002/03owlt/I4.1/bad001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.1/bad001#Name> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#UniqueProperty> Required level Full Actual level Full Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I4.6/bad006 Reading DL http://www.w3.org/2002/03owlt/I4.6/bad006 OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/I4.6/bad006#a> Illegal property on individual Required level Full Actual level Full Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/I4.6/bad007 Reading DL http://www.w3.org/2002/03owlt/I4.6/bad007 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.6/bad007#a> <http://www.w3.org/2002/07/owl#sameClassAs> <http://www.w3.org/2002/03owlt/I4.6/bad007#b> Required level Full Actual level Full Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/I4.6/bad008 Reading DL http://www.w3.org/2002/03owlt/I4.6/bad008 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.6/bad008#a> <http://www.w3.org/2002/07/owl#samePropertyAs> <http://www.w3.org/2002/03owlt/I4.6/bad008#b> Required level Full Actual level Full Trying not OWL <http://www.w3.org/2002/03owlt/I5.21/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.21/bad001 Reading DL http://www.w3.org/2002/03owlt/I5.21/bad001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.21/bad001#AandB> <http://www.w3.org/2002/07/owl#disjointUnionOf> _:B17 Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/AllDifferent/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/AllDifferent/premises001 Reading DL http://www.w3.org/2002/03owlt/AllDifferent/premises001 OWL ERROR: When checking allDifferent at _:B19 When checking sequence at _:B20 Untyped individual ID http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/AllDifferent/conclusions001 Reading DL http://www.w3.org/2002/03owlt/AllDifferent/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises001 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises002 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object1> <http://www.example.org/prop2> "value" Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object2> <http://www.example.org/prop2> "value" Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises003 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises003 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises004 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises004 OWL ERROR: Non-class uri for description: <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#Singleton> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises005 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises005 OWL ERROR: Unused triple <http://www.example.org/foo#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005 OWL ERROR: When checking Individual <http://www.example.org/foo#object> When checking description at _:B26 When checking restriction at _:B26 Invalid property for restriction Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/I4.5/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I4.5/premises001 Reading DL http://www.w3.org/2002/03owlt/I4.5/premises001 OWL ERROR: owl:EnumeratedClass construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/I4.5/conclusions001 Reading DL http://www.w3.org/2002/03owlt/I4.5/conclusions001 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I4.6/premises003 Reading DL http://www.w3.org/2002/03owlt/I4.6/premises003 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.6/premises003#C1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/I4.6/premises003#C2> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/I4.6/conclusions003 Reading DL http://www.w3.org/2002/03owlt/I4.6/conclusions003 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/I5.1/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.1/premises001 Reading DL http://www.w3.org/2002/03owlt/I5.1/premises001 OWL ERROR: Unused triple _:http://www.w3.org/2002/03owlt/I5.1/premises001A0 <http://example.org/vocab#population> "2688418" Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/I5.1/conclusions001 Reading DL http://www.w3.org/2002/03owlt/I5.1/conclusions001 OWL ERROR: Unused triple _:http://www.w3.org/2002/03owlt/I5.1/conclusions001A0 <http://example.org/vocab#population> "2688418" Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.2/premises002 Reading DL http://www.w3.org/2002/03owlt/I5.2/premises002 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions002 Reading DL http://www.w3.org/2002/03owlt/I5.2/conclusions002 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.2/premises004 Reading DL http://www.w3.org/2002/03owlt/I5.2/premises004 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions004 Reading DL http://www.w3.org/2002/03owlt/I5.2/conclusions004 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I5.2/premises006 Reading DL http://www.w3.org/2002/03owlt/I5.2/premises006 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions006 Reading DL http://www.w3.org/2002/03owlt/I5.2/conclusions006 OWL ERROR: owl:unionOf construct Required level DL Actual level DL Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.24/premises001 Reading DL http://www.w3.org/2002/03owlt/I5.24/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.24/premises001#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions001 Reading DL http://www.w3.org/2002/03owlt/I5.24/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.24/premises001#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.24/premises002 Reading DL http://www.w3.org/2002/03owlt/I5.24/premises002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.24/premises002#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions002 Reading DL http://www.w3.org/2002/03owlt/I5.24/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.24/premises002#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.24/premises003 Reading DL http://www.w3.org/2002/03owlt/I5.24/premises003 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions003 Reading DL http://www.w3.org/2002/03owlt/I5.24/conclusions003 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.24/premises004 Reading DL http://www.w3.org/2002/03owlt/I5.24/premises004 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions004 Reading DL http://www.w3.org/2002/03owlt/I5.24/conclusions004 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/I5.3/Manifest015#test> Parsing http://www.w3.org/2002/03owlt/I5.3/premises015 Reading DL http://www.w3.org/2002/03owlt/I5.3/premises015 OWL ERROR: Unused triple <http://example.org/p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/I5.3/conclusions015 Reading DL http://www.w3.org/2002/03owlt/I5.3/conclusions015 OWL ERROR: Unused triple <http://example.org/p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises006 Reading DL http://www.w3.org/2002/03owlt/I5.8/premises006 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions006 Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions006 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises008 Reading DL http://www.w3.org/2002/03owlt/I5.8/premises008 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions008 Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions008 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises009 Reading DL http://www.w3.org/2002/03owlt/I5.8/premises009 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions009 Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions009 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises010 Reading DL http://www.w3.org/2002/03owlt/I5.8/premises010 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions010 Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions010 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1> <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop> <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#object> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1> <http://www.example.org/prop2> "value" Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2> <http://www.example.org/prop2> "value" Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003 OWL ERROR: Not an object property Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#inv> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004 OWL ERROR: Non-class uri for description: <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#Singleton> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/premises001 Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Ghent> <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path> <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Antwerp> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001 Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Antwerp> <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path> <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Ghent> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/premises001 Reading DL http://www.w3.org/2002/03owlt/TransitiveProperty/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Antwerp> <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#path> <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Amsterdam> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001 Reading DL http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Ghent> <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#path> <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Amsterdam> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/allValuesFrom/premises001 Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/premises001 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001 Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises001 Reading DL http://www.w3.org/2002/03owlt/cardinality/premises001 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions001 Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions001 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises002 Reading DL http://www.w3.org/2002/03owlt/cardinality/premises002 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions002 Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions002 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises003 Reading DL http://www.w3.org/2002/03owlt/cardinality/premises003 OWL ERROR: Cardinality not 0 or 1 Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions003 Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions003 OWL ERROR: Cardinality not 0 or 1 Required level DL Actual level DL Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises004 Reading DL http://www.w3.org/2002/03owlt/cardinality/premises004 OWL ERROR: Cardinality not 0 or 1 Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions004 Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions004 OWL ERROR: Cardinality not 0 or 1 Required level DL Actual level DL Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises006 Reading DL http://www.w3.org/2002/03owlt/cardinality/premises006 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/conclusions006#c> <http://www.w3.org/2002/07/owl#intersectionOf> _:B78 Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions006 Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions006 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/conclusions006#c> <http://www.w3.org/2002/07/owl#intersectionOf> _:B82 Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/complementOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/complementOf/premises001 Reading DL http://www.w3.org/2002/03owlt/complementOf/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/complementOf/premises001#A> <http://www.w3.org/2002/07/owl#complementOf> <http://www.w3.org/2002/03owlt/complementOf/premises001#B> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/complementOf/conclusions001 Reading DL http://www.w3.org/2002/03owlt/complementOf/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/complementOf/premises001#B> <http://www.w3.org/2002/07/owl#complementOf> <http://www.w3.org/2002/03owlt/complementOf/premises001#A> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest201#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises201 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises201 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions201 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions201 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest202#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises202 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises202 OWL ERROR: Non-atomic description Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions202 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions202 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest203#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises203 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises203 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions203 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions203 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest204#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises204 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises204 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions204 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions204 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest205#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises205 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises205 OWL ERROR: Non-atomic description Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions205 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions205 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest207#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises207 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises207 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions207 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions207 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest661#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises661 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises661 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions661 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions661 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest662#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises662 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises662 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions662 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions662 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest664#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises664 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises664 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions664 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions664 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest665#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises665 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises665 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions665 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions665 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest667#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises667 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises667 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions667 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions667 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest901#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises901 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises901 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions901 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions901 OWL ERROR: owl:subClassOf construct Required level DL Actual level DL Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest903#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises903 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises903 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions903 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions903 OWL ERROR: owl:subClassOf construct Required level DL Actual level DL Trying positive entailment <http://www.w3.org/2002/03owlt/differentFrom/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/differentFrom/premises001 Reading DL http://www.w3.org/2002/03owlt/differentFrom/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/differentFrom/premises001#a> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/differentFrom/premises001#b> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/differentFrom/conclusions001 Reading DL http://www.w3.org/2002/03owlt/differentFrom/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/differentFrom/premises001#b> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/differentFrom/premises001#a> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/differentFrom/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/differentFrom/premises002 Reading DL http://www.w3.org/2002/03owlt/differentFrom/premises002 OWL ERROR: When checking allDifferent at _:B1608 When checking sequence at _:B1609 Untyped individual ID http://www.w3.org/2002/03owlt/differentFrom/premises002#Fred Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/differentFrom/conclusions002 Reading DL http://www.w3.org/2002/03owlt/differentFrom/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/differentFrom/premises002#Barney> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/differentFrom/premises002#Wilma> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/premises001 Reading DL http://www.w3.org/2002/03owlt/disjointWith/premises001 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions001 Reading DL http://www.w3.org/2002/03owlt/disjointWith/conclusions001 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/premises002 Reading DL http://www.w3.org/2002/03owlt/disjointWith/premises002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/disjointWith/premises002#A> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/disjointWith/premises002#B> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions002 Reading DL http://www.w3.org/2002/03owlt/disjointWith/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/disjointWith/premises002#a> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/disjointWith/premises002#b> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/distinctMembers/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/distinctMembers/premises001 Reading DL http://www.w3.org/2002/03owlt/distinctMembers/premises001 OWL ERROR: When checking allDifferent at _:B1613 When checking sequence at _:B1614 Untyped individual ID http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/distinctMembers/conclusions001 Reading DL http://www.w3.org/2002/03owlt/distinctMembers/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/distinctMembers/premises001#Barney> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises001 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises001 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions001 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions001 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises002 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises002 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions002 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions002 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises003 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises003 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions003 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions003 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises004 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises004 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions004 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions004 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises006 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises006 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions006 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions006 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises007 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises007 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentClass/premises007#A> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions007 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions007 OWL ERROR: Unused triple _:B1631 <http://www.w3.org/2002/07/owl#equivalentClass> _:B1636 Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises001 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises001 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises002 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises002 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises003 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises003 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises004 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises004 OWL ERROR: value in restriction Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004 Required level Lite Actual level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises005 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises005 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentProperty/premises005#p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentProperty/premises005#p> <http://www.w3.org/2002/07/owl#equivalentProperty> <http://www.w3.org/2002/03owlt/equivalentProperty/premises005#q> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises006 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises006 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#X> <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader> <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#Y> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#X> <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead> <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#Y> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/intersectionOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/intersectionOf/premises001 Reading DL http://www.w3.org/2002/03owlt/intersectionOf/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/intersectionOf/premises001#B> <http://www.w3.org/2002/07/owl#intersectionOf> _:B1642 Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/intersectionOf/conclusions001 Reading DL http://www.w3.org/2002/03owlt/intersectionOf/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/intersectionOf/premises001#John> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/intersectionOf/premises001#C> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/inverseOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/inverseOf/premises001 Reading DL http://www.w3.org/2002/03owlt/inverseOf/premises001 OWL ERROR: Unused triple <http://example.net/myVocab#hasBrother> <http://www.w3.org/2002/07/owl#inverseOf> <http://example.net/yourVocab#isBrotherOf> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/inverseOf/conclusions001 Reading DL http://www.w3.org/2002/03owlt/inverseOf/conclusions001 OWL ERROR: Unused triple <http://example.net/vocab#bob> <http://example.net/yourVocab#isBrotherOf> <http://example.net/vocab#joe> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/oneOf/premises002 Reading DL http://www.w3.org/2002/03owlt/oneOf/premises002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/oneOf/premises002#TShirt> <http://www.w3.org/2002/07/owl#oneOf> _:B1646 Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions002 Reading DL http://www.w3.org/2002/03owlt/oneOf/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/oneOf/premises002#small> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/oneOf/premises002#TShirt> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/oneOf/premises003 Reading DL http://www.w3.org/2002/03owlt/oneOf/premises003 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/oneOf/premises003#T1> <http://www.w3.org/2002/07/owl#oneOf> _:B1649 Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions003 Reading DL http://www.w3.org/2002/03owlt/oneOf/conclusions003 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/oneOf/premises003#myT> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/oneOf/premises003#T2> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/unionOf/premises001 Reading DL http://www.w3.org/2002/03owlt/unionOf/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/unionOf/premises001#A> <http://www.w3.org/2002/07/owl#unionOf> _:B1655 Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions001 Reading DL http://www.w3.org/2002/03owlt/unionOf/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/unionOf/premises001#John> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/unionOf/premises001#A> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/unionOf/premises002 Reading DL http://www.w3.org/2002/03owlt/unionOf/premises002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/unionOf/premises002#A> <http://www.w3.org/2002/07/owl#unionOf> _:B1657 Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions002 Reading DL http://www.w3.org/2002/03owlt/unionOf/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/unionOf/premises002#John> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/unionOf/premises002#B> Required level Full Actual level Full Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/unionOf/premises003 Reading DL http://www.w3.org/2002/03owlt/unionOf/premises003 OWL ERROR: owl:EnumeratedClass construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions003 Reading DL http://www.w3.org/2002/03owlt/unionOf/conclusions003 OWL ERROR: owl:unionOf construct Required level DL Actual level DL Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/unionOf/premises004 Reading DL http://www.w3.org/2002/03owlt/unionOf/premises004 OWL ERROR: owl:EnumeratedClass construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions004 Reading DL http://www.w3.org/2002/03owlt/unionOf/conclusions004 OWL ERROR: owl:EnumeratedClass construct Required level DL Actual level DL Trying negative entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I4.6/premises004 Reading DL http://www.w3.org/2002/03owlt/I4.6/premises004 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions004 Reading DL http://www.w3.org/2002/03owlt/I4.6/nonconclusions004 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C2> Required level Full Actual level Full Trying negative entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I4.6/premises005 Reading DL http://www.w3.org/2002/03owlt/I4.6/premises005 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions005 Reading DL http://www.w3.org/2002/03owlt/I4.6/nonconclusions005 Required level Lite Actual level Lite Trying negative entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises007 Reading DL http://www.w3.org/2002/03owlt/I5.8/premises007 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions007 Reading DL http://www.w3.org/2002/03owlt/I5.8/nonconclusions007 Required level Lite Actual level Lite Trying negative entailment <http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/allValuesFrom/premises002 Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/premises002 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002 Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002 Required level Lite Actual level Lite Trying negative entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest902#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises902 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises902 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions902 Reading DL http://www.w3.org/2002/03owlt/description-logic/nonconclusions902 OWL ERROR: owl:subClassOf construct Required level DL Actual level DL Trying negative entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest904#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises904 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises904 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions904 Reading DL http://www.w3.org/2002/03owlt/description-logic/nonconclusions904 OWL ERROR: owl:subClassOf construct Required level DL Actual level DL Trying negative entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises005 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises005 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005 Required level Lite Actual level Lite Trying negative entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises008 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises008 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008 Required level Lite Actual level Lite Trying negative entailment <http://www.w3.org/2002/03owlt/imports/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/imports/premises002 Reading DL http://www.w3.org/2002/03owlt/imports/premises002 OWL ERROR: Unused triple <http://example.org/data#Socrates> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/imports/support002-A#Man> Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/imports/nonconclusions002 Reading DL http://www.w3.org/2002/03owlt/imports/nonconclusions002 OWL ERROR: Unused triple <http://example.org/data#Socrates> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/imports/support002-A#Mortal> Required level Full Actual level Full Trying negative entailment <http://www.w3.org/2002/03owlt/miscellaneous/Manifest301#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/premises301 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/premises301 OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/miscellaneous/premises301#a> Illegal property on individual Required level Full Actual level Full Parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301 OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/miscellaneous/premises301#a> Illegal property on individual Required level Full Actual level Full Trying negative entailment <http://www.w3.org/2002/03owlt/miscellaneous/Manifest302#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/premises302 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/premises302 Required level Lite Actual level Lite Parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302 Required level Lite Actual level Lite Trying OWL for OWL <http://www.w3.org/2002/03owlt/I5.5/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.5/conclusions001 Reading DL http://www.w3.org/2002/03owlt/I5.5/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> Required level Full Actual level Full Trying OWL for OWL <http://www.w3.org/2002/03owlt/I5.5/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.5/conclusions002 Reading DL http://www.w3.org/2002/03owlt/I5.5/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> Required level Full Actual level Full Trying OWL for OWL <http://www.w3.org/2002/03owlt/Nothing/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/Nothing/conclusions002 Reading DL http://www.w3.org/2002/03owlt/Nothing/conclusions002 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent001 Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent001 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent003 Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent003 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent005 Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent005 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent010 Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent010 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest011#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent011 Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent011 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent002 Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent002 OWL ERROR: When checking Individual _:B1711 When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent002B No description at _:http://www.w3.org/2002/03owlt/I5.26/consistent002B Required level Full Actual level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent005 Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent005 OWL ERROR: When checking equivalents When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent005B When checking intersectionOf at _:http://www.w3.org/2002/03owlt/I5.26/consistent005B Extra triple found _:http://www.w3.org/2002/03owlt/I5.26/consistent005B <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.26/consistent005#C> Required level Full Actual level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent006 Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent006 OWL ERROR: Unused triple _:B1713 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2002/03owlt/I5.26/consistent006#B> Required level Full Actual level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent005 Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent005 OWL ERROR: Unused triple _:B1718 <http://www.w3.org/2002/03owlt/I5.3/consistent005#p> _:B1719 Required level Full Actual level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent006 Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent006 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent007 Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent007 OWL ERROR: Unused triple _:B1722 <http://www.w3.org/2002/03owlt/I5.3/consistent007#dp> "value" Required level Full Actual level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent008 Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent008 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent009 Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent009 OWL ERROR: When checking Individual _:B1724 Illegal value for object property Required level Full Actual level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest011#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent011 Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent011 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/Restriction/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/Restriction/consistent003 Reading DL http://www.w3.org/2002/03owlt/Restriction/consistent003 OWL ERROR: When checking sequence at _:B1726 When checking sequence at _:B1727 When checking description at _:http://www.w3.org/2002/03owlt/Restriction/consistent003r No description at _:http://www.w3.org/2002/03owlt/Restriction/consistent003r Required level Full Actual level Full Trying consistent <http://www.w3.org/2002/03owlt/Restriction/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/Restriction/consistent004 Reading DL http://www.w3.org/2002/03owlt/Restriction/consistent004 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent005 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent005 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent006 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent006 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent009 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent009 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest016#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent016 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent016 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest018#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent018 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent018 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest020#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent020 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent020 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest021#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent021 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent021 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest024#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent024 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent024 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest025#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent025 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent025 OWL ERROR: owl:complementOf construct Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest028#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent028 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent028 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest031#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent031 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent031 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest034#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent034 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent034 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest605#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent605 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent605 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest606#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent606 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent606 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest609#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent609 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent609 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest616#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent616 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent616 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest624#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent624 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent624 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest625#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent625 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent625 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest628#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent628 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent628 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest631#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent631 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent631 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest634#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent634 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent634 Required level Lite Actual level Lite Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest908#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent908 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent908 OWL ERROR: Cardinality not 0 or 1 Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent003 Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent003 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent005 Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent005 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent007 Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent007 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent008 Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent008 OWL ERROR: When checking disjoints Disjoints not a clique Required level Full Actual level Full Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent009 Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent009 OWL ERROR: owl:disjointClasses construct Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/equivalentClass/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/consistent009 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/consistent009 OWL ERROR: Non-atomic description Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent001 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent001 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent002 OWL ERROR: value in restriction Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent002 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent002 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent001 OWL ERROR: value in restriction Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest102#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent102 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent102 OWL ERROR: embedded owl:intersectionOf Required level DL Actual level DL Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest103#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent103 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent103 OWL ERROR: embedded owl:intersectionOf Required level DL Actual level DL Trying consistent <