- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Mon, 22 Sep 2003 10:27:13 -0400 (EDT)
- To: jjc@hpl.hp.com
- Cc: www-webont-wg@w3.org
From: Jeremy Carroll <jjc@hpl.hp.com> Subject: Re: New tests in editors draft Date: Mon, 22 Sep 2003 13:13:02 +0300 [...] > I have added more tests, and my checker is still on the bench - if you would > oblige to give another set of errors .... > (Just the raw OWLP output would be fine - maybe I should download it - does it > include the test harness?). The software includes a test harness, but needs a version of Galax that has not yet been distributed. If you are running on a SPARC I can send you an executable, I think. > Jeremy There appears to be a few divergences in the new tests. peter saras65k 427> ./owlTest > RESULTS.rdf 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level Full Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003 Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003 Required level Lite Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level Full Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004 Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004 Required level Lite Determined 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 Determined 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 Determined level Full Trying positive entailment <http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/premises003 Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/premises003 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003 Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003 OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/SymmetricProperty/premises003#Antwerp> Illegal property on individual Required level Lite Determined level Full FAILED to correctly identify http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003 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 Determined 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 Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001 Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001 Required level Lite Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions001 Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions001 Required level Lite Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions002 Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions002 Required level Lite Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level DL Parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions001 Reading DL http://www.w3.org/2002/03owlt/disjointWith/conclusions001 Required level Lite Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions001 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions001 Required level Lite Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions002 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions002 Required level Lite Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions003 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions003 Required level Lite Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions004 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions004 Required level Lite Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001 Required level Lite Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002 Required level Lite Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003 Required level Lite Determined 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 Determined level DL Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004 Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004 Required level Lite Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002 Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002 Required level Lite Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005 Required level Lite Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008 Reading DL http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008 Required level Lite Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level Lite Parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302 Required level Lite Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined 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 Determined level DL Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest201#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent201 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent201 Required level Lite Determined level Lite Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest202#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent202 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent202 Required level Lite Determined level Lite Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest303#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent303 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent303 Required level Lite Determined level Lite Trying consistent <http://www.w3.org/2002/03owlt/oneOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/oneOf/consistent001 Reading DL http://www.w3.org/2002/03owlt/oneOf/consistent001 OWL ERROR: When checking equivalents When checking description at _:B3487 When checking oneOf at _:B3487 When checking sequence at _:B3488 Untyped individual ID http://www.w3.org/2002/03owlt/oneOf/consistent001#yolanda Required level Full Determined level Full Trying inconsistent <http://www.w3.org/2002/03owlt/I4.5/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I4.5/inconsistent002 Reading DL http://www.w3.org/2002/03owlt/I4.5/inconsistent002 OWL ERROR: owl:EnumeratedClass construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/I5.5/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.5/inconsistent003 Reading DL http://www.w3.org/2002/03owlt/I5.5/inconsistent003 OWL ERROR: Unused triple <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:B3498 Required level Full Determined level Full Trying inconsistent <http://www.w3.org/2002/03owlt/I5.5/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.5/inconsistent004 Reading DL http://www.w3.org/2002/03owlt/I5.5/inconsistent004 OWL ERROR: Unused triple <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:B3499 Required level Full Determined level Full Trying inconsistent <http://www.w3.org/2002/03owlt/Nothing/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/Nothing/inconsistent001 Reading DL http://www.w3.org/2002/03owlt/Nothing/inconsistent001 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/Restriction/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/Restriction/inconsistent001 Reading DL http://www.w3.org/2002/03owlt/Restriction/inconsistent001 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/Restriction/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/Restriction/inconsistent002 Reading DL http://www.w3.org/2002/03owlt/Restriction/inconsistent002 OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/Restriction/inconsistent002#a> When checking description at _:http://www.w3.org/2002/03owlt/Restriction/inconsistent002r No description at _:http://www.w3.org/2002/03owlt/Restriction/inconsistent002r Required level Full Determined level Full Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent001 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent001 OWL ERROR: owl:unionOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent002 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent002 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent003 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent003 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent004 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent004 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent007 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent007 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent008 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent008 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent010 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent010 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest011#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent011 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent011 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest012#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent012 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent012 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest013#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent013 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent013 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest014#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent014 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent014 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest015#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent015 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent015 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest017#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent017 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent017 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest019#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent019 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent019 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest022#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent022 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent022 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest023#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent023 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent023 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest026#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent026 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent026 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest027#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent027 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent027 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest029#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent029 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent029 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest030#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent030 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent030 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest032#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent032 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent032 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest033#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent033 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent033 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest035#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent035 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent035 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest101#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent101 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent101 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest102#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent102 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent102 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest103#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent103 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent103 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest104#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent104 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent104 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest105#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent105 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent105 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest106#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent106 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent106 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest107#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent107 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent107 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest108#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent108 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent108 OWL ERROR: owl:complementOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest109#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent109 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent109 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest110#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent110 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent110 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest111#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent111 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent111 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest601#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent601 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent601 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest602#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent602 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent602 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest603#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent603 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent603 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest604#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent604 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent604 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest608#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent608 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent608 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest610#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent610 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent610 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest611#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent611 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent611 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest612#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent612 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent612 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest613#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent613 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent613 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest614#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent614 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent614 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest615#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent615 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent615 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest617#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent617 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent617 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest623#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent623 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent623 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest626#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent626 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent626 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest627#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent627 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent627 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest629#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent629 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent629 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest630#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent630 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent630 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest632#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent632 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent632 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest633#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent633 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent633 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest641#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent641 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent641 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest642#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent642 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent642 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest643#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent643 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent643 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest644#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent644 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent644 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest646#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent646 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent646 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest650#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent650 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent650 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/maxCardinality/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001 Reading DL http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001 OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001#sb1> Illegal value for object property Required level Full Determined level Full Trying inconsistent <http://www.w3.org/2002/03owlt/maxCardinality/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002 Reading DL http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002 OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002#sb1> Illegal value for object property Required level Full Determined level Full Trying import entail <http://www.w3.org/2002/03owlt/imports/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/imports/premises001 Reading DL http://www.w3.org/2002/03owlt/imports/premises001 Reading DL http://www.w3.org/2002/03owlt/imports/support001-A OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/imports/premises001> <http://www.w3.org/2002/07/owl#imports> <http://www.w3.org/2002/03owlt/imports/support001-A> Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/imports/conclusions001 Reading DL http://www.w3.org/2002/03owlt/imports/conclusions001 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/support001-A#Mortal> Required level Full Determined level Full Trying import entail <http://www.w3.org/2002/03owlt/imports/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/imports/premises003 Reading DL http://www.w3.org/2002/03owlt/imports/premises003 Reading DL http://www.w3.org/2002/03owlt/imports/support003-A Reading DL http://www.w3.org/2002/03owlt/imports/support003-B OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/imports/premises003> <http://www.w3.org/2002/07/owl#imports> <http://www.w3.org/2002/03owlt/imports/support003-A> Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/imports/conclusions003 Reading DL http://www.w3.org/2002/03owlt/imports/conclusions003 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/support003-B#Mortal> Required level Full Determined level Full Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/imports/main004 Reading DL http://www.w3.org/2002/03owlt/imports/main004 Reading DL http://www.w3.org/2002/03owlt/imports/imports004 OWL ERROR: When checking Ontology property on <http://www.w3.org/2002/03owlt/imports/main004> Relationship to non-ontology Required level Full Determined level Full Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/imports/main005 Reading DL http://www.w3.org/2002/03owlt/imports/main005 Reading DL http://www.w3.org/2002/03owlt/imports/imports005 OWL ERROR: owl:EnumeratedClass construct Required level DL Determined level DL Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/imports/main006 Reading DL http://www.w3.org/2002/03owlt/imports/main006 Reading DL http://www.w3.org/2002/03owlt/imports/imports006 Required level Lite Determined level Lite Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/imports/main007 Reading DL http://www.w3.org/2002/03owlt/imports/main007 Reading DL http://www.w3.org/2002/03owlt/imports/imports007 Required level Lite Determined level Lite Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/imports/main008 Reading DL http://www.w3.org/2002/03owlt/imports/main008 Reading DL http://www.w3.org/2002/03owlt/imports/imports008 Required level Lite Determined level Lite Running proposed tests Trying positive entailment <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/premises002 Reading DL http://www.w3.org/2002/03owlt/AnnotationProperty/premises002 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002 Reading DL http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/Class/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/Class/premises002 Reading DL http://www.w3.org/2002/03owlt/Class/premises002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/Class/premises002#ex> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/Class/conclusions002 Reading DL http://www.w3.org/2002/03owlt/Class/conclusions002 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/Class/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/Class/premises003 Reading DL http://www.w3.org/2002/03owlt/Class/premises003 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/Class/conclusions003 Reading DL http://www.w3.org/2002/03owlt/Class/conclusions003 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/Class/premises003#ex> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> Required level Full Determined level Full Trying positive entailment <http://www.w3.org/2002/03owlt/I5.21/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.21/premises002 Reading DL http://www.w3.org/2002/03owlt/I5.21/premises002 OWL ERROR: value in restriction Required level DL Determined level DL Parsing http://www.w3.org/2002/03owlt/I5.21/conclusions002 Reading DL http://www.w3.org/2002/03owlt/I5.21/conclusions002 OWL ERROR: owl:disjointClasses construct Required level DL Determined level DL Trying positive entailment <http://www.w3.org/2002/03owlt/I5.3/Manifest014#test> Parsing http://www.w3.org/2002/03owlt/I5.3/premises014 Reading DL http://www.w3.org/2002/03owlt/I5.3/premises014 OWL ERROR: Unused triple <http://example.org/x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/I5.3/conclusions014 Reading DL http://www.w3.org/2002/03owlt/I5.3/conclusions014 OWL ERROR: Unused triple <http://example.org/x> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/y> Required level Full Determined level Full Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises004 Reading DL http://www.w3.org/2002/03owlt/I5.8/premises004 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions004 Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions004 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/Ontology/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/Ontology/premises001 Reading DL http://www.w3.org/2002/03owlt/Ontology/premises001 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/Ontology/conclusions001 Reading DL http://www.w3.org/2002/03owlt/Ontology/conclusions001 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/Ontology/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/Ontology/premises002 Reading DL http://www.w3.org/2002/03owlt/Ontology/premises002 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/Ontology/conclusions002 Reading DL http://www.w3.org/2002/03owlt/Ontology/conclusions002 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/Ontology/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/Ontology/premises004 Reading DL http://www.w3.org/2002/03owlt/Ontology/premises004 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/Ontology/conclusions004 Reading DL http://www.w3.org/2002/03owlt/Ontology/conclusions004 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/premises002 Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/premises002 OWL ERROR: owl:EnumeratedClass construct Required level DL Determined level DL Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002 Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002 OWL ERROR: Non-atomic description Required level DL Determined level DL Trying positive entailment <http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/premises002 Reading DL http://www.w3.org/2002/03owlt/TransitiveProperty/premises002 OWL ERROR: Non-atomic description Required level DL Determined level DL Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002 Reading DL http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises005 Reading DL http://www.w3.org/2002/03owlt/cardinality/premises005 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/premises005#c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions005 Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions005 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/premises005#c> <http://www.w3.org/2002/07/owl#intersectionOf> _:B4346 Required level Full Determined level Full Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest206#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises206 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises206 OWL ERROR: Non-atomic description Required level DL Determined level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions206 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions206 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest208#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises208 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises208 OWL ERROR: Non-atomic description Required level DL Determined level DL Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions208 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions208 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest663#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises663 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises663 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions663 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions663 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest666#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises666 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises666 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions666 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions666 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest668#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises668 Reading DL http://www.w3.org/2002/03owlt/description-logic/premises668 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions668 Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions668 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/extra-credit/premises003 Reading DL http://www.w3.org/2002/03owlt/extra-credit/premises003 OWL ERROR: When checking sequence at _:B5629 Untyped individual ID http://www.w3.org/2002/03owlt/extra-credit/premises003#d Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions003 Reading DL http://www.w3.org/2002/03owlt/extra-credit/conclusions003 OWL ERROR: Unused triple _:B5636 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> Required level Full Determined level Full Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/extra-credit/premises004 Reading DL http://www.w3.org/2002/03owlt/extra-credit/premises004 OWL ERROR: When checking sequence at _:B5643 Untyped individual ID http://www.w3.org/2002/03owlt/extra-credit/premises004#d Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions004 Reading DL http://www.w3.org/2002/03owlt/extra-credit/conclusions004 OWL ERROR: Unused triple _:B5650 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> Required level Full Determined level Full Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/oneOf/premises004 Reading DL http://www.w3.org/2002/03owlt/oneOf/premises004 OWL ERROR: Non-atomic datatype Required level DL Determined level DL Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions004 Reading DL http://www.w3.org/2002/03owlt/oneOf/conclusions004 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/sameAs/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/sameAs/premises001 Reading DL http://www.w3.org/2002/03owlt/sameAs/premises001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/sameAs/premises001#c1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/sameAs/premises001#c2> Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/sameAs/conclusions001 Reading DL http://www.w3.org/2002/03owlt/sameAs/conclusions001 Required level Lite Determined level Lite Trying positive entailment <http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/someValuesFrom/premises001 Reading DL http://www.w3.org/2002/03owlt/someValuesFrom/premises001 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001 Reading DL http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i> <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p> _:B5668 Required level Full Determined level Full Trying negative entailment <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/premises001 Reading DL http://www.w3.org/2002/03owlt/AnnotationProperty/premises001 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001 Reading DL http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001 Required level Lite Determined level Lite Trying negative entailment <http://www.w3.org/2002/03owlt/Class/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/Class/premises004 Reading DL http://www.w3.org/2002/03owlt/Class/premises004 OWL ERROR: Unused triple <http://www.w3.org/2000/01/rdf-schema#Class> <http://purl.org/dc/elements/1.0/creator> <http://www.w3.org/RDF/Group/Schema/members> Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/Class/nonconclusions004 Reading DL http://www.w3.org/2002/03owlt/Class/nonconclusions004 OWL ERROR: Node found with multiple categories <http://www.w3.org/2002/07/owl#Class> http://www.w3.org/2002/07/owl#Class http://www.w3.org/2002/07/owl#Thing Required level Full Determined level Full Trying negative entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises005 Reading DL http://www.w3.org/2002/03owlt/I5.8/premises005 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions005 Reading DL http://www.w3.org/2002/03owlt/I5.8/nonconclusions005 Required level Lite Determined level Lite Trying negative entailment <http://www.w3.org/2002/03owlt/Ontology/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/Ontology/premises003 Reading DL http://www.w3.org/2002/03owlt/Ontology/premises003 Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/Ontology/nonconclusions003 Reading DL http://www.w3.org/2002/03owlt/Ontology/nonconclusions003 Required level Lite Determined level Lite Trying negative entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises007 Reading DL http://www.w3.org/2002/03owlt/cardinality/premises007 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/premises007#c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/cardinality/nonconclusions007 Reading DL http://www.w3.org/2002/03owlt/cardinality/nonconclusions007 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/premises007#c> <http://www.w3.org/2002/07/owl#intersectionOf> _:B5673 Required level Full Determined level Full Trying OWL for OWL <http://www.w3.org/2002/03owlt/Class/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/Class/conclusions001 Reading DL http://www.w3.org/2002/03owlt/Class/conclusions001 OWL ERROR: Non-class uri for description: <http://www.w3.org/2002/07/owl#Class> Required level Full Determined level Full Trying OWL for OWL <http://www.w3.org/2002/03owlt/I5.8/Manifest011#test> Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions011 Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions011 Required level Lite Determined level Lite Trying OWL for OWL <http://www.w3.org/2002/03owlt/imports/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/imports/conclusions010 Reading DL http://www.w3.org/2002/03owlt/imports/conclusions010 OWL ERROR: Unused triple <http://www.w3.org/2002/07/owl#imports> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.w3.org/2002/07/owl#Ontology> Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/DatatypeProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001 Reading DL http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001 OWL ERROR: Non-class uri for description: <http://www.w3.org/2001/XMLSchema#integer> Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.1/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/I5.1/consistent010 Reading DL http://www.w3.org/2002/03owlt/I5.1/consistent010 OWL ERROR: Node found with multiple categories <http://www.w3.org/2002/03owlt/I5.1/consistent010#p> http://www.w3.org/2002/07/owl#ObjectProperty http://www.w3.org/2002/07/owl#DatatypeProperty Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent003 Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent003 OWL ERROR: When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent003B No description at _:http://www.w3.org/2002/03owlt/I5.26/consistent003B Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent004 Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent004 OWL ERROR: When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent004B When checking intersectionOf at _:http://www.w3.org/2002/03owlt/I5.26/consistent004B Extra triple found _:http://www.w3.org/2002/03owlt/I5.26/consistent004B <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.26/consistent004#C> Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent007 Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent007 OWL ERROR: When checking Individual _:B5690 When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent007B When checking intersectionOf at _:http://www.w3.org/2002/03owlt/I5.26/consistent007B When checking sequence at _:B5685 When checking sequence at _:B5686 When checking description at _:B5687 When checking unionOf at _:B5687 When checking sequence at _:B5688 When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent007B No description at _:http://www.w3.org/2002/03owlt/I5.26/consistent007B Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent010 Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent010 OWL ERROR: When checking Individual _:B5691 Illegal value for object property Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.8/consistent002 Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent002 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest012#test> Parsing http://www.w3.org/2002/03owlt/I5.8/consistent012 Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent012 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest013#test> Parsing http://www.w3.org/2002/03owlt/I5.8/consistent013 Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent013 Required level Lite Determined level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest014#test> Parsing http://www.w3.org/2002/03owlt/I5.8/consistent014 Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent014 OWL ERROR: Non-datatype uri for description: <http://example.org/user/data#type> Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest015#test> Parsing http://www.w3.org/2002/03owlt/I5.8/consistent015 Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent015 Required level Lite Determined level Lite Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest016#test> Parsing http://www.w3.org/2002/03owlt/I5.8/consistent016 Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent016 Required level Full Determined level Lite FAILED to correctly identify http://www.w3.org/2002/03owlt/I5.8/consistent016 Trying consistent <http://www.w3.org/2002/03owlt/Thing/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/Thing/consistent001 Reading DL http://www.w3.org/2002/03owlt/Thing/consistent001 Required level Lite Determined level Lite Trying consistent <http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001 Reading DL http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001 Required level Lite Determined level Lite Trying consistent <http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002 Reading DL http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002 OWL ERROR: Unused triple _:B5697 <http://www.w3.org/2002/07/owl#backwardCompatibleWith> <http://www.example.org/> Required level Lite Determined level Full FAILED to correctly identify http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest501#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent501 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent501 OWL ERROR: owl:EnumeratedClass construct Required level DL Determined level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest503#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent503 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent503 OWL ERROR: owl:unionOf construct Required level DL Determined level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest905#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent905 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent905 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest906#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent906 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent906 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest907#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent907 Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent907 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent004 Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent004 OWL ERROR: When checking disjoints Disjoints not a clique Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent006 Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent006 OWL ERROR: When checking disjoints Disjoints not a clique Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/imports/Manifest012#test> Parsing http://www.w3.org/2002/03owlt/imports/consistent012 Reading DL http://www.w3.org/2002/03owlt/imports/consistent012 Required level Lite Determined level Lite Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest205#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent205 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent205 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/I5.8/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.8/inconsistent001 Reading DL http://www.w3.org/2002/03owlt/I5.8/inconsistent001 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/I5.8/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.8/inconsistent003 Reading DL http://www.w3.org/2002/03owlt/I5.8/inconsistent003 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/Thing/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/Thing/inconsistent002 Reading DL http://www.w3.org/2002/03owlt/Thing/inconsistent002 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest502#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent502 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent502 OWL ERROR: owl:EnumeratedClass construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest504#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent504 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent504 OWL ERROR: owl:unionOf construct Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest909#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent909 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent909 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest910#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent910 Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent910 OWL ERROR: Cardinality not 0 or 1 Required level DL Determined level DL Trying inconsistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest203#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203 Required level Lite Determined level Lite Trying inconsistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest204#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/inconsistent204 Reading DL http://www.w3.org/2002/03owlt/miscellaneous/inconsistent204 Required level Lite Determined level Lite Trying import entail <http://www.w3.org/2002/03owlt/imports/Manifest011#test> Parsing http://www.w3.org/2002/03owlt/imports/premises011 Reading DL http://www.w3.org/2002/03owlt/imports/premises011 Reading DL http://www.w3.org/2002/03owlt/imports/support011-A Required level Lite Determined level Lite Parsing http://www.w3.org/2002/03owlt/imports/conclusions011 Reading DL http://www.w3.org/2002/03owlt/imports/conclusions011 Required level Lite Determined level Lite Extra credit tests Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/extra-credit/premises002 Reading DL http://www.w3.org/2002/03owlt/extra-credit/premises002 OWL ERROR: When checking sequence at _:B6525 Untyped individual ID http://www.w3.org/2002/03owlt/extra-credit/premises002#d Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions002 Reading DL http://www.w3.org/2002/03owlt/extra-credit/conclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/extra-credit/premises002#N-times-M> <http://www.w3.org/2002/07/owl#sameAs> "345"^^http://www.w3.org/2001/XMLSchema#int Required level Full Determined level Full Trying negative entailment <http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/someValuesFrom/premises002 Reading DL http://www.w3.org/2002/03owlt/someValuesFrom/premises002 OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/someValuesFrom/premises002#i> Illegal value for object property Required level Full Determined level Full Parsing http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002 Reading DL http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002 OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#o> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/someValuesFrom/premises002#c> Required level Full Determined level Full Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent001 Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent001 OWL ERROR: Unused triple _:B6535 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> Required level Full Determined level Full saras65k 428>
Received on Monday, 22 September 2003 10:28:51 UTC