- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 27 Aug 2003 15:48:35 -0400 (EDT)
- To: public-webont-comments@w3.org
Report on Parsing the OWL tests Peter F. Patel-Schneider Bell Labs Research 27 August 2003 I ran OWLP, a parser for OWL DL, on the current OWL tests, using the file at http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest.rdf. OWLP will shortly be made available from Bell Labs Research. (The release is approved, but the package has not yet been installed in the appropriate place.) I believe that OWLP shares no code with any other RDF or OWL software. OWLP is currently a parser for the OWL DL language as written in RDF/XML. It works by 1/ processing an RDF/XML document into an XQuery 1.0 path datamodel; 2/ translating this datamodel into an RDF graph, using the current editor's draft of the RDF Syntax document; 3/ processing imports triples, adding the result to the RDF graph; 4/ translating the final RDF graph into an OWL DL abstract ontology, using an inverse of the translation in the OWL Semantics and Abstract Syntax document. An RDF/XML document is an OWL DL document if and only if this process succeeds. The interface used here looks for tests in the manifest file and attempts to parse every OWL document in every approved and proposed test. A failure is reported if the OWL document is labelled as OWL Lite or OWL DL and is not OWL DL or if the OWL document is labelled as OWL Full and is OWL DL. No failures were reported during this processing. A log of the process follows, showing which documents were processed and what syntax errors were found. >> ./owlTest http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest.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 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> Done parsing http://www.w3.org/2002/03owlt/I3.2/bad001 Trying not OWL <http://www.w3.org/2002/03owlt/I3.2/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I3.2/bad002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I3.2/bad002 Trying not OWL <http://www.w3.org/2002/03owlt/I3.2/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I3.2/bad003 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I3.2/bad003 Trying not OWL <http://www.w3.org/2002/03owlt/I3.4/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I3.4/bad001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I3.4/bad001 Trying not OWL <http://www.w3.org/2002/03owlt/I4.1/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I4.1/bad001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I4.1/bad001 Trying positive entailment <http://www.w3.org/2002/03owlt/AllDifferent/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/AllDifferent/premises001 Reading http://www.w3.org/2002/03owlt/AllDifferent/premises001 OWL ERROR: When checking allDifferent at _:B17 When checking sequence at _:B18 Untyped individual ID http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred Done parsing http://www.w3.org/2002/03owlt/AllDifferent/premises001 Parsing http://www.w3.org/2002/03owlt/AllDifferent/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/AllDifferent/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises001 Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises002 Reading 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" Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises002 Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002 Reading 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" Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises003 Reading 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> Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises003 Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003 Reading http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003 Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises004 Reading http://www.w3.org/2002/03owlt/FunctionalProperty/premises004 OWL ERROR: Non-class uri for description: <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#Singleton> Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises004 Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004 Reading 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> Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I4.6/premises003 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I4.6/premises003 Parsing http://www.w3.org/2002/03owlt/I4.6/conclusions003 Reading http://www.w3.org/2002/03owlt/I4.6/conclusions003 Done parsing http://www.w3.org/2002/03owlt/I4.6/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.1/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.1/premises001 Reading 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" Done parsing http://www.w3.org/2002/03owlt/I5.1/premises001 Parsing http://www.w3.org/2002/03owlt/I5.1/conclusions001 Reading 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" Done parsing http://www.w3.org/2002/03owlt/I5.1/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.2/premises002 Reading http://www.w3.org/2002/03owlt/I5.2/premises002 Done parsing http://www.w3.org/2002/03owlt/I5.2/premises002 Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions002 Reading http://www.w3.org/2002/03owlt/I5.2/conclusions002 Done parsing http://www.w3.org/2002/03owlt/I5.2/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.24/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.24/premises001 Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.24/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.24/premises004 Reading http://www.w3.org/2002/03owlt/I5.24/premises004 Done parsing http://www.w3.org/2002/03owlt/I5.24/premises004 Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions004 Reading http://www.w3.org/2002/03owlt/I5.24/conclusions004 Done parsing http://www.w3.org/2002/03owlt/I5.24/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001 Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002 Reading 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" Done parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002 Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002 Reading 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" Done parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003 Reading http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003 OWL ERROR: Not an object property Done parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003 Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003 Reading 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> Done parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004 Reading http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004 OWL ERROR: Non-class uri for description: <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#Singleton> Done parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004 Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004 Reading http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004 Done parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/SymmetricProperty/premises001 Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/TransitiveProperty/premises001 Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/allValuesFrom/premises001 Reading http://www.w3.org/2002/03owlt/allValuesFrom/premises001 Done parsing http://www.w3.org/2002/03owlt/allValuesFrom/premises001 Parsing http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001 Reading http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001 Done parsing http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises001 Reading http://www.w3.org/2002/03owlt/cardinality/premises001 Done parsing http://www.w3.org/2002/03owlt/cardinality/premises001 Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions001 Reading http://www.w3.org/2002/03owlt/cardinality/conclusions001 Done parsing http://www.w3.org/2002/03owlt/cardinality/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises002 Reading http://www.w3.org/2002/03owlt/cardinality/premises002 Done parsing http://www.w3.org/2002/03owlt/cardinality/premises002 Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions002 Reading http://www.w3.org/2002/03owlt/cardinality/conclusions002 Done parsing http://www.w3.org/2002/03owlt/cardinality/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises003 Reading http://www.w3.org/2002/03owlt/cardinality/premises003 Done parsing http://www.w3.org/2002/03owlt/cardinality/premises003 Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions003 Reading http://www.w3.org/2002/03owlt/cardinality/conclusions003 Done parsing http://www.w3.org/2002/03owlt/cardinality/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises004 Reading http://www.w3.org/2002/03owlt/cardinality/premises004 Done parsing http://www.w3.org/2002/03owlt/cardinality/premises004 Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions004 Reading http://www.w3.org/2002/03owlt/cardinality/conclusions004 Done parsing http://www.w3.org/2002/03owlt/cardinality/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/complementOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/complementOf/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/complementOf/premises001 Parsing http://www.w3.org/2002/03owlt/complementOf/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/complementOf/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest901#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises901 Reading http://www.w3.org/2002/03owlt/description-logic/premises901 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises901 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions901 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions901 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions901 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest903#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises903 Reading http://www.w3.org/2002/03owlt/description-logic/premises903 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises903 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions903 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions903 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions903 Trying positive entailment <http://www.w3.org/2002/03owlt/differentFrom/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/differentFrom/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/differentFrom/premises001 Parsing http://www.w3.org/2002/03owlt/differentFrom/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/differentFrom/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/differentFrom/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/differentFrom/premises002 Reading http://www.w3.org/2002/03owlt/differentFrom/premises002 OWL ERROR: When checking allDifferent at _:B59 When checking sequence at _:B60 Untyped individual ID http://www.w3.org/2002/03owlt/differentFrom/premises002#Fred Done parsing http://www.w3.org/2002/03owlt/differentFrom/premises002 Parsing http://www.w3.org/2002/03owlt/differentFrom/conclusions002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/differentFrom/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/premises001 Reading http://www.w3.org/2002/03owlt/disjointWith/premises001 Done parsing http://www.w3.org/2002/03owlt/disjointWith/premises001 Parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions001 Reading http://www.w3.org/2002/03owlt/disjointWith/conclusions001 Done parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/premises002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/disjointWith/premises002 Parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/distinctMembers/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/distinctMembers/premises001 Reading http://www.w3.org/2002/03owlt/distinctMembers/premises001 OWL ERROR: When checking allDifferent at _:B64 When checking sequence at _:B65 Untyped individual ID http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred Done parsing http://www.w3.org/2002/03owlt/distinctMembers/premises001 Parsing http://www.w3.org/2002/03owlt/distinctMembers/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/distinctMembers/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises001 Reading http://www.w3.org/2002/03owlt/equivalentClass/premises001 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/premises001 Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions001 Reading http://www.w3.org/2002/03owlt/equivalentClass/conclusions001 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises002 Reading http://www.w3.org/2002/03owlt/equivalentClass/premises002 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/premises002 Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions002 Reading http://www.w3.org/2002/03owlt/equivalentClass/conclusions002 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises003 Reading http://www.w3.org/2002/03owlt/equivalentClass/premises003 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/premises003 Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions003 Reading http://www.w3.org/2002/03owlt/equivalentClass/conclusions003 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises004 Reading http://www.w3.org/2002/03owlt/equivalentClass/premises004 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/premises004 Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions004 Reading http://www.w3.org/2002/03owlt/equivalentClass/conclusions004 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises006 Reading http://www.w3.org/2002/03owlt/equivalentClass/premises006 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/premises006 Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions006 Reading http://www.w3.org/2002/03owlt/equivalentClass/conclusions006 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions006 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises001 Reading http://www.w3.org/2002/03owlt/equivalentProperty/premises001 Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises001 Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001 Reading http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001 Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises002 Reading http://www.w3.org/2002/03owlt/equivalentProperty/premises002 Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises002 Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002 Reading http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002 Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises003 Reading http://www.w3.org/2002/03owlt/equivalentProperty/premises003 Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises003 Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003 Reading http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003 Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises004 Reading http://www.w3.org/2002/03owlt/equivalentProperty/premises004 Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises004 Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004 Reading http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004 Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises005 Reading 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> Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises005 Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005 Reading 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> Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises006 Reading 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> Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises006 Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006 Reading 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> Done parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006 Trying positive entailment <http://www.w3.org/2002/03owlt/intersectionOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/intersectionOf/premises001 Reading 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> _:B84 Done parsing http://www.w3.org/2002/03owlt/intersectionOf/premises001 Parsing http://www.w3.org/2002/03owlt/intersectionOf/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/intersectionOf/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/inverseOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/inverseOf/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/inverseOf/premises001 Parsing http://www.w3.org/2002/03owlt/inverseOf/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/inverseOf/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/oneOf/premises002 Reading 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> _:B88 Done parsing http://www.w3.org/2002/03owlt/oneOf/premises002 Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/oneOf/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/oneOf/premises003 Reading 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> _:B91 Done parsing http://www.w3.org/2002/03owlt/oneOf/premises003 Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions003 Reading 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> Done parsing http://www.w3.org/2002/03owlt/oneOf/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/unionOf/premises001 Reading 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> _:B97 Done parsing http://www.w3.org/2002/03owlt/unionOf/premises001 Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/unionOf/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/unionOf/premises002 Reading 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> _:B99 Done parsing http://www.w3.org/2002/03owlt/unionOf/premises002 Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/unionOf/conclusions002 Trying negative entailment <http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/allValuesFrom/premises002 Reading http://www.w3.org/2002/03owlt/allValuesFrom/premises002 Done parsing http://www.w3.org/2002/03owlt/allValuesFrom/premises002 Parsing http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002 Reading http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002 Done parsing http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002 Trying negative entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest902#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises902 Reading http://www.w3.org/2002/03owlt/description-logic/premises902 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises902 Parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions902 Reading http://www.w3.org/2002/03owlt/description-logic/nonconclusions902 Done parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions902 Trying negative entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest904#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises904 Reading http://www.w3.org/2002/03owlt/description-logic/premises904 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises904 Parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions904 Reading http://www.w3.org/2002/03owlt/description-logic/nonconclusions904 Done parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions904 Trying negative entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises005 Reading http://www.w3.org/2002/03owlt/equivalentClass/premises005 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/premises005 Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005 Reading http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005 Trying negative entailment <http://www.w3.org/2002/03owlt/imports/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/imports/premises002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/imports/premises002 Parsing http://www.w3.org/2002/03owlt/imports/nonconclusions002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/imports/nonconclusions002 Trying negative entailment <http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/someValuesFrom/premises002 Reading 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 Done parsing http://www.w3.org/2002/03owlt/someValuesFrom/premises002 Parsing http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002 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 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> Done parsing http://www.w3.org/2002/03owlt/I5.5/conclusions001 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 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> Done parsing http://www.w3.org/2002/03owlt/I5.5/conclusions002 Trying OWL for OWL <http://www.w3.org/2002/03owlt/Nothing/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/Nothing/conclusions002 Reading http://www.w3.org/2002/03owlt/Nothing/conclusions002 Done parsing http://www.w3.org/2002/03owlt/Nothing/conclusions002 Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent001 Reading http://www.w3.org/2002/03owlt/I5.2/consistent001 Done parsing http://www.w3.org/2002/03owlt/I5.2/consistent001 Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent005 Reading http://www.w3.org/2002/03owlt/I5.3/consistent005 OWL ERROR: Unused triple _:B123 <http://www.w3.org/2002/03owlt/I5.3/consistent005#p> _:B124 Done parsing http://www.w3.org/2002/03owlt/I5.3/consistent005 Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent006 Reading http://www.w3.org/2002/03owlt/I5.3/consistent006 Done parsing http://www.w3.org/2002/03owlt/I5.3/consistent006 Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent007 Reading http://www.w3.org/2002/03owlt/I5.3/consistent007 OWL ERROR: Unused triple _:B127 <http://www.w3.org/2002/03owlt/I5.3/consistent007#dp> "value" Done parsing http://www.w3.org/2002/03owlt/I5.3/consistent007 Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent008 Reading http://www.w3.org/2002/03owlt/I5.3/consistent008 Done parsing http://www.w3.org/2002/03owlt/I5.3/consistent008 Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent009 Reading http://www.w3.org/2002/03owlt/I5.3/consistent009 OWL ERROR: When checking Individual _:B129 Illegal value for object property Done parsing http://www.w3.org/2002/03owlt/I5.3/consistent009 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent005 Reading http://www.w3.org/2002/03owlt/description-logic/consistent005 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent005 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent006 Reading http://www.w3.org/2002/03owlt/description-logic/consistent006 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent006 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent009 Reading http://www.w3.org/2002/03owlt/description-logic/consistent009 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent009 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest016#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent016 Reading http://www.w3.org/2002/03owlt/description-logic/consistent016 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent016 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest018#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent018 Reading http://www.w3.org/2002/03owlt/description-logic/consistent018 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent018 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest020#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent020 Reading http://www.w3.org/2002/03owlt/description-logic/consistent020 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent020 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest021#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent021 Reading http://www.w3.org/2002/03owlt/description-logic/consistent021 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent021 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest024#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent024 Reading http://www.w3.org/2002/03owlt/description-logic/consistent024 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent024 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest025#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent025 Reading http://www.w3.org/2002/03owlt/description-logic/consistent025 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent025 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest028#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent028 Reading http://www.w3.org/2002/03owlt/description-logic/consistent028 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent028 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest031#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent031 Reading http://www.w3.org/2002/03owlt/description-logic/consistent031 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent031 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest034#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent034 Reading http://www.w3.org/2002/03owlt/description-logic/consistent034 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent034 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest605#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent605 Reading http://www.w3.org/2002/03owlt/description-logic/consistent605 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent605 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest606#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent606 Reading http://www.w3.org/2002/03owlt/description-logic/consistent606 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent606 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest609#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent609 Reading http://www.w3.org/2002/03owlt/description-logic/consistent609 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent609 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest616#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent616 Reading http://www.w3.org/2002/03owlt/description-logic/consistent616 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent616 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest624#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent624 Reading http://www.w3.org/2002/03owlt/description-logic/consistent624 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent624 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest625#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent625 Reading http://www.w3.org/2002/03owlt/description-logic/consistent625 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent625 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest628#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent628 Reading http://www.w3.org/2002/03owlt/description-logic/consistent628 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent628 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest631#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent631 Reading http://www.w3.org/2002/03owlt/description-logic/consistent631 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent631 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest634#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent634 Reading http://www.w3.org/2002/03owlt/description-logic/consistent634 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent634 Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent001 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent001 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent002 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent001 Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent002 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent002 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent001 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent002 Trying consistent <http://www.w3.org/2002/03owlt/oneOf/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/oneOf/consistent001 Reading http://www.w3.org/2002/03owlt/oneOf/consistent001 OWL ERROR: When checking equivalents When checking description at _:B1843 When checking oneOf at _:B1843 When checking sequence at _:B1844 Untyped individual ID http://www.w3.org/2002/03owlt/oneOf/consistent001#yolanda Done parsing http://www.w3.org/2002/03owlt/oneOf/consistent001 Trying inconsistent <http://www.w3.org/2002/03owlt/I5.5/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.5/inconsistent003 Reading 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> _:B1846 Done parsing http://www.w3.org/2002/03owlt/I5.5/inconsistent003 Trying inconsistent <http://www.w3.org/2002/03owlt/I5.5/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.5/inconsistent004 Reading 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> _:B1847 Done parsing http://www.w3.org/2002/03owlt/I5.5/inconsistent004 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent001 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent001 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent001 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent002 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent002 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent002 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent003 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent003 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent003 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent004 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent004 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent004 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent007 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent007 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent007 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent008 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent008 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent008 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent010 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent010 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent010 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest011#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent011 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent011 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent011 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest012#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent012 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent012 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent012 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest013#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent013 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent013 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent013 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest014#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent014 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent014 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent014 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest015#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent015 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent015 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent015 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest017#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent017 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent017 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent017 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest019#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent019 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent019 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent019 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest022#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent022 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent022 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent022 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest023#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent023 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent023 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent023 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest026#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent026 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent026 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent026 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest027#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent027 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent027 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent027 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest029#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent029 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent029 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent029 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest030#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent030 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent030 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent030 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest032#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent032 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent032 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent032 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest033#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent033 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent033 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent033 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest101#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent101 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent101 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent101 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest102#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent102 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent102 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent102 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest103#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent103 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent103 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent103 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest104#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent104 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent104 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent104 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest105#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent105 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent105 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent105 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest106#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent106 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent106 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent106 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest107#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent107 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent107 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent107 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest108#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent108 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent108 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent108 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest109#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent109 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent109 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent109 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest110#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent110 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent110 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent110 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest111#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent111 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent111 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent111 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest602#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent602 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent602 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent602 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest603#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent603 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent603 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent603 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest604#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent604 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent604 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent604 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest608#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent608 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent608 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent608 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest610#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent610 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent610 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent610 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest611#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent611 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent611 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent611 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest612#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent612 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent612 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent612 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest613#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent613 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent613 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent613 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest614#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent614 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent614 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent614 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest615#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent615 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent615 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent615 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest617#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent617 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent617 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent617 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest623#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent623 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent623 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent623 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest626#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent626 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent626 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent626 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest627#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent627 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent627 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent627 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest629#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent629 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent629 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent629 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest630#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent630 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent630 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent630 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest632#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent632 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent632 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent632 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest633#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent633 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent633 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent633 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest641#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent641 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent641 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent641 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest642#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent642 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent642 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent642 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest643#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent643 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent643 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent643 Trying inconsistent <http://www.w3.org/2002/03owlt/maxCardinality/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001 Reading 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 Done parsing http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001 Trying inconsistent <http://www.w3.org/2002/03owlt/maxCardinality/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002 Reading 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 Done parsing http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002 Trying import entail <http://www.w3.org/2002/03owlt/imports/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/imports/premises001 Reading http://www.w3.org/2002/03owlt/imports/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/imports/premises001 Parsing http://www.w3.org/2002/03owlt/imports/conclusions001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/imports/conclusions001 Trying import entail <http://www.w3.org/2002/03owlt/imports/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/imports/premises003 Reading http://www.w3.org/2002/03owlt/imports/premises003 Reading http://www.w3.org/2002/03owlt/imports/support003-A Reading 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> Done parsing http://www.w3.org/2002/03owlt/imports/premises003 Parsing http://www.w3.org/2002/03owlt/imports/conclusions003 Reading 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> Done parsing http://www.w3.org/2002/03owlt/imports/conclusions003 Running proposed tests Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I4.6/bad006 Reading 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 Done parsing http://www.w3.org/2002/03owlt/I4.6/bad006 Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/I4.6/bad007 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I4.6/bad007 Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/I4.6/bad008 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I4.6/bad008 Trying not OWL <http://www.w3.org/2002/03owlt/I5.21/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.21/bad001 Reading 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> _:B2600 Done parsing http://www.w3.org/2002/03owlt/I5.21/bad001 Trying positive entailment <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/premises002 Reading http://www.w3.org/2002/03owlt/AnnotationProperty/premises002 Done parsing http://www.w3.org/2002/03owlt/AnnotationProperty/premises002 Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002 Reading http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002 Done parsing http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises005 Reading 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> Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises005 Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005 Reading http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005 OWL ERROR: When checking Individual <http://www.example.org/foo#object> When checking description at _:B2603 When checking restriction at _:B2603 Invalid property for restriction Done parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005 Trying positive entailment <http://www.w3.org/2002/03owlt/I4.5/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I4.5/premises001 Reading http://www.w3.org/2002/03owlt/I4.5/premises001 Done parsing http://www.w3.org/2002/03owlt/I4.5/premises001 Parsing http://www.w3.org/2002/03owlt/I4.5/conclusions001 Reading http://www.w3.org/2002/03owlt/I4.5/conclusions001 Done parsing http://www.w3.org/2002/03owlt/I4.5/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.2/premises004 Reading http://www.w3.org/2002/03owlt/I5.2/premises004 Done parsing http://www.w3.org/2002/03owlt/I5.2/premises004 Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions004 Reading http://www.w3.org/2002/03owlt/I5.2/conclusions004 Done parsing http://www.w3.org/2002/03owlt/I5.2/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I5.2/premises006 Reading http://www.w3.org/2002/03owlt/I5.2/premises006 Done parsing http://www.w3.org/2002/03owlt/I5.2/premises006 Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions006 Reading http://www.w3.org/2002/03owlt/I5.2/conclusions006 Done parsing http://www.w3.org/2002/03owlt/I5.2/conclusions006 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.21/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.21/premises002 Reading http://www.w3.org/2002/03owlt/I5.21/premises002 Done parsing http://www.w3.org/2002/03owlt/I5.21/premises002 Parsing http://www.w3.org/2002/03owlt/I5.21/conclusions002 Reading http://www.w3.org/2002/03owlt/I5.21/conclusions002 Done parsing http://www.w3.org/2002/03owlt/I5.21/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.24/premises002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.24/premises002 Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions002 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.24/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.24/premises003 Reading http://www.w3.org/2002/03owlt/I5.24/premises003 Done parsing http://www.w3.org/2002/03owlt/I5.24/premises003 Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions003 Reading http://www.w3.org/2002/03owlt/I5.24/conclusions003 Done parsing http://www.w3.org/2002/03owlt/I5.24/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.3/Manifest014#test> Parsing http://www.w3.org/2002/03owlt/I5.3/premises014 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.3/premises014 Parsing http://www.w3.org/2002/03owlt/I5.3/conclusions014 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.3/conclusions014 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.3/Manifest015#test> Parsing http://www.w3.org/2002/03owlt/I5.3/premises015 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.3/premises015 Parsing http://www.w3.org/2002/03owlt/I5.3/conclusions015 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.3/conclusions015 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises004 Reading http://www.w3.org/2002/03owlt/I5.8/premises004 Done parsing http://www.w3.org/2002/03owlt/I5.8/premises004 Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions004 Reading http://www.w3.org/2002/03owlt/I5.8/conclusions004 Done parsing http://www.w3.org/2002/03owlt/I5.8/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises006 Reading http://www.w3.org/2002/03owlt/I5.8/premises006 Done parsing http://www.w3.org/2002/03owlt/I5.8/premises006 Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions006 Reading http://www.w3.org/2002/03owlt/I5.8/conclusions006 Done parsing http://www.w3.org/2002/03owlt/I5.8/conclusions006 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises008 Reading http://www.w3.org/2002/03owlt/I5.8/premises008 Done parsing http://www.w3.org/2002/03owlt/I5.8/premises008 Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions008 Reading http://www.w3.org/2002/03owlt/I5.8/conclusions008 Done parsing http://www.w3.org/2002/03owlt/I5.8/conclusions008 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises009 Reading http://www.w3.org/2002/03owlt/I5.8/premises009 Done parsing http://www.w3.org/2002/03owlt/I5.8/premises009 Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions009 Reading http://www.w3.org/2002/03owlt/I5.8/conclusions009 Done parsing http://www.w3.org/2002/03owlt/I5.8/conclusions009 Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises010 Reading http://www.w3.org/2002/03owlt/I5.8/premises010 Done parsing http://www.w3.org/2002/03owlt/I5.8/premises010 Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions010 Reading http://www.w3.org/2002/03owlt/I5.8/conclusions010 Done parsing http://www.w3.org/2002/03owlt/I5.8/conclusions010 Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises006 Reading 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> _:B2646 Done parsing http://www.w3.org/2002/03owlt/cardinality/premises006 Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions006 Reading 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> _:B2650 Done parsing http://www.w3.org/2002/03owlt/cardinality/conclusions006 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest201#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises201 Reading http://www.w3.org/2002/03owlt/description-logic/premises201 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises201 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions201 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions201 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions201 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest202#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises202 Reading http://www.w3.org/2002/03owlt/description-logic/premises202 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises202 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions202 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions202 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions202 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest203#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises203 Reading http://www.w3.org/2002/03owlt/description-logic/premises203 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises203 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions203 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions203 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions203 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest204#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises204 Reading http://www.w3.org/2002/03owlt/description-logic/premises204 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises204 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions204 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions204 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions204 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest205#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises205 Reading http://www.w3.org/2002/03owlt/description-logic/premises205 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises205 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions205 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions205 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions205 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest206#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises206 Reading http://www.w3.org/2002/03owlt/description-logic/premises206 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises206 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions206 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions206 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions206 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest207#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises207 Reading http://www.w3.org/2002/03owlt/description-logic/premises207 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises207 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions207 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions207 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions207 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest208#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises208 Reading http://www.w3.org/2002/03owlt/description-logic/premises208 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises208 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions208 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions208 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions208 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest661#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises661 Reading http://www.w3.org/2002/03owlt/description-logic/premises661 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises661 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions661 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions661 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions661 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest662#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises662 Reading http://www.w3.org/2002/03owlt/description-logic/premises662 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises662 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions662 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions662 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions662 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest663#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises663 Reading http://www.w3.org/2002/03owlt/description-logic/premises663 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises663 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions663 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions663 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions663 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest664#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises664 Reading http://www.w3.org/2002/03owlt/description-logic/premises664 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises664 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions664 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions664 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions664 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest665#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises665 Reading http://www.w3.org/2002/03owlt/description-logic/premises665 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises665 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions665 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions665 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions665 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest666#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises666 Reading http://www.w3.org/2002/03owlt/description-logic/premises666 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises666 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions666 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions666 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions666 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest667#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises667 Reading http://www.w3.org/2002/03owlt/description-logic/premises667 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises667 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions667 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions667 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions667 Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest668#test> Parsing http://www.w3.org/2002/03owlt/description-logic/premises668 Reading http://www.w3.org/2002/03owlt/description-logic/premises668 Done parsing http://www.w3.org/2002/03owlt/description-logic/premises668 Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions668 Reading http://www.w3.org/2002/03owlt/description-logic/conclusions668 Done parsing http://www.w3.org/2002/03owlt/description-logic/conclusions668 Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises007 Reading 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> Done parsing http://www.w3.org/2002/03owlt/equivalentClass/premises007 Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions007 Reading http://www.w3.org/2002/03owlt/equivalentClass/conclusions007 OWL ERROR: Unused triple _:B5443 <http://www.w3.org/2002/07/owl#equivalentClass> _:B5448 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions007 Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/extra-credit/premises002 Reading http://www.w3.org/2002/03owlt/extra-credit/premises002 OWL ERROR: When checking equivalents When checking description at _:B5458 When checking restriction at _:B5458 Invalid property for restriction Done parsing http://www.w3.org/2002/03owlt/extra-credit/premises002 Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions002 Reading 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 Done parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions002 Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/extra-credit/premises003 Reading http://www.w3.org/2002/03owlt/extra-credit/premises003 OWL ERROR: When checking equivalents When checking description at _:B5465 When checking restriction at _:B5465 Invalid property for restriction Done parsing http://www.w3.org/2002/03owlt/extra-credit/premises003 Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions003 Reading http://www.w3.org/2002/03owlt/extra-credit/conclusions003 OWL ERROR: Unused triple _:B5466 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> Done parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/extra-credit/premises004 Reading http://www.w3.org/2002/03owlt/extra-credit/premises004 OWL ERROR: When checking equivalents When checking description at _:B5479 When checking restriction at _:B5479 Invalid property for restriction Done parsing http://www.w3.org/2002/03owlt/extra-credit/premises004 Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions004 Reading http://www.w3.org/2002/03owlt/extra-credit/conclusions004 OWL ERROR: Unused triple _:B5480 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> Done parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/oneOf/premises004 Reading http://www.w3.org/2002/03owlt/oneOf/premises004 Done parsing http://www.w3.org/2002/03owlt/oneOf/premises004 Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions004 Reading http://www.w3.org/2002/03owlt/oneOf/conclusions004 Done parsing http://www.w3.org/2002/03owlt/oneOf/conclusions004 Trying positive entailment <http://www.w3.org/2002/03owlt/sameAs/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/sameAs/premises001 Reading 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> Done parsing http://www.w3.org/2002/03owlt/sameAs/premises001 Parsing http://www.w3.org/2002/03owlt/sameAs/conclusions001 Reading http://www.w3.org/2002/03owlt/sameAs/conclusions001 Done parsing http://www.w3.org/2002/03owlt/sameAs/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/someValuesFrom/premises001 Reading http://www.w3.org/2002/03owlt/someValuesFrom/premises001 Done parsing http://www.w3.org/2002/03owlt/someValuesFrom/premises001 Parsing http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001 Reading 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> _:B5498 Done parsing http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001 Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/unionOf/premises003 Reading http://www.w3.org/2002/03owlt/unionOf/premises003 Done parsing http://www.w3.org/2002/03owlt/unionOf/premises003 Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions003 Reading http://www.w3.org/2002/03owlt/unionOf/conclusions003 Done parsing http://www.w3.org/2002/03owlt/unionOf/conclusions003 Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/unionOf/premises004 Reading http://www.w3.org/2002/03owlt/unionOf/premises004 Done parsing http://www.w3.org/2002/03owlt/unionOf/premises004 Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions004 Reading http://www.w3.org/2002/03owlt/unionOf/conclusions004 Done parsing http://www.w3.org/2002/03owlt/unionOf/conclusions004 Trying negative entailment <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/premises001 Reading http://www.w3.org/2002/03owlt/AnnotationProperty/premises001 Done parsing http://www.w3.org/2002/03owlt/AnnotationProperty/premises001 Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001 Reading http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001 Done parsing http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001 Trying negative entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I4.6/premises004 Reading http://www.w3.org/2002/03owlt/I4.6/premises004 Done parsing http://www.w3.org/2002/03owlt/I4.6/premises004 Parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions004 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions004 Trying negative entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I4.6/premises005 Reading http://www.w3.org/2002/03owlt/I4.6/premises005 Done parsing http://www.w3.org/2002/03owlt/I4.6/premises005 Parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions005 Reading http://www.w3.org/2002/03owlt/I4.6/nonconclusions005 Done parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions005 Trying negative entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises005 Reading http://www.w3.org/2002/03owlt/I5.8/premises005 Done parsing http://www.w3.org/2002/03owlt/I5.8/premises005 Parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions005 Reading http://www.w3.org/2002/03owlt/I5.8/nonconclusions005 Done parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions005 Trying negative entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/I5.8/premises007 Reading http://www.w3.org/2002/03owlt/I5.8/premises007 Done parsing http://www.w3.org/2002/03owlt/I5.8/premises007 Parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions007 Reading http://www.w3.org/2002/03owlt/I5.8/nonconclusions007 Done parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions007 Trying negative entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/cardinality/premises007 Reading 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> Done parsing http://www.w3.org/2002/03owlt/cardinality/premises007 Parsing http://www.w3.org/2002/03owlt/cardinality/nonconclusions007 Reading 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> _:B5513 Done parsing http://www.w3.org/2002/03owlt/cardinality/nonconclusions007 Trying negative entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises008 Reading http://www.w3.org/2002/03owlt/equivalentClass/premises008 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/premises008 Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008 Reading http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008 Trying negative entailment <http://www.w3.org/2002/03owlt/miscellaneous/Manifest301#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/premises301 Reading 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 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/premises301 Parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301 Reading 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 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301 Trying negative entailment <http://www.w3.org/2002/03owlt/miscellaneous/Manifest302#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/premises302 Reading http://www.w3.org/2002/03owlt/miscellaneous/premises302 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/premises302 Parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302 Reading http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302 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 http://www.w3.org/2002/03owlt/I5.8/conclusions011 Done parsing http://www.w3.org/2002/03owlt/I5.8/conclusions011 Trying OWL for OWL <http://www.w3.org/2002/03owlt/imports/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/imports/conclusions010 Reading 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> Done parsing http://www.w3.org/2002/03owlt/imports/conclusions010 Trying consistent <http://www.w3.org/2002/03owlt/DatatypeProperty/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001 Reading http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001 OWL ERROR: Non-class uri for description: <http://www.w3.org/2001/XMLSchema#integer> Done parsing http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001 Trying consistent <http://www.w3.org/2002/03owlt/I5.1/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/I5.1/consistent010 Reading http://www.w3.org/2002/03owlt/I5.1/consistent010 RDF ERROR: 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 Done parsing http://www.w3.org/2002/03owlt/I5.1/consistent010 Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent003 Reading http://www.w3.org/2002/03owlt/I5.2/consistent003 Done parsing http://www.w3.org/2002/03owlt/I5.2/consistent003 Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent005 Reading http://www.w3.org/2002/03owlt/I5.2/consistent005 Done parsing http://www.w3.org/2002/03owlt/I5.2/consistent005 Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent010 Reading http://www.w3.org/2002/03owlt/I5.2/consistent010 Done parsing http://www.w3.org/2002/03owlt/I5.2/consistent010 Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest011#test> Parsing http://www.w3.org/2002/03owlt/I5.2/consistent011 Reading http://www.w3.org/2002/03owlt/I5.2/consistent011 Done parsing http://www.w3.org/2002/03owlt/I5.2/consistent011 Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent001 Reading http://www.w3.org/2002/03owlt/I5.26/consistent001 OWL ERROR: Unused triple _:B5541 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> Done parsing http://www.w3.org/2002/03owlt/I5.26/consistent001 Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent002 Reading http://www.w3.org/2002/03owlt/I5.26/consistent002 OWL ERROR: When checking Individual _:B5545 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 Done parsing http://www.w3.org/2002/03owlt/I5.26/consistent002 Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent003 Reading 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 Done parsing http://www.w3.org/2002/03owlt/I5.26/consistent003 Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent004 Reading http://www.w3.org/2002/03owlt/I5.26/consistent004 OWL ERROR: When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent004B No description at _:http://www.w3.org/2002/03owlt/I5.26/consistent004B Done parsing http://www.w3.org/2002/03owlt/I5.26/consistent004 Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent005 Reading 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> Done parsing http://www.w3.org/2002/03owlt/I5.26/consistent005 Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/I5.26/consistent006 Reading http://www.w3.org/2002/03owlt/I5.26/consistent006 OWL ERROR: Unused triple _:B5551 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2002/03owlt/I5.26/consistent006#B> Done parsing http://www.w3.org/2002/03owlt/I5.26/consistent006 Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest010#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent010 Reading http://www.w3.org/2002/03owlt/I5.3/consistent010 OWL ERROR: When checking Individual _:B5556 Illegal value for object property Done parsing http://www.w3.org/2002/03owlt/I5.3/consistent010 Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest011#test> Parsing http://www.w3.org/2002/03owlt/I5.3/consistent011 Reading http://www.w3.org/2002/03owlt/I5.3/consistent011 Done parsing http://www.w3.org/2002/03owlt/I5.3/consistent011 Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I5.8/consistent002 Reading http://www.w3.org/2002/03owlt/I5.8/consistent002 Done parsing http://www.w3.org/2002/03owlt/I5.8/consistent002 Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest012#test> Parsing http://www.w3.org/2002/03owlt/I5.8/consistent012 Reading http://www.w3.org/2002/03owlt/I5.8/consistent012 Done parsing http://www.w3.org/2002/03owlt/I5.8/consistent012 Trying consistent <http://www.w3.org/2002/03owlt/Restriction/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/Restriction/consistent003 Reading http://www.w3.org/2002/03owlt/Restriction/consistent003 OWL ERROR: When checking sequence at _:B5560 When checking sequence at _:B5561 When checking description at _:http://www.w3.org/2002/03owlt/Restriction/consistent003r No description at _:http://www.w3.org/2002/03owlt/Restriction/consistent003r Done parsing http://www.w3.org/2002/03owlt/Restriction/consistent003 Trying consistent <http://www.w3.org/2002/03owlt/Restriction/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/Restriction/consistent004 Reading http://www.w3.org/2002/03owlt/Restriction/consistent004 Done parsing http://www.w3.org/2002/03owlt/Restriction/consistent004 Trying consistent <http://www.w3.org/2002/03owlt/Thing/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/Thing/consistent001 Reading http://www.w3.org/2002/03owlt/Thing/consistent001 Done parsing http://www.w3.org/2002/03owlt/Thing/consistent001 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest501#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent501 Reading http://www.w3.org/2002/03owlt/description-logic/consistent501 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent501 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest503#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent503 Reading http://www.w3.org/2002/03owlt/description-logic/consistent503 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent503 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest905#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent905 Reading http://www.w3.org/2002/03owlt/description-logic/consistent905 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent905 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest906#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent906 Reading http://www.w3.org/2002/03owlt/description-logic/consistent906 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent906 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest907#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent907 Reading http://www.w3.org/2002/03owlt/description-logic/consistent907 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent907 Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest908#test> Parsing http://www.w3.org/2002/03owlt/description-logic/consistent908 Reading http://www.w3.org/2002/03owlt/description-logic/consistent908 Done parsing http://www.w3.org/2002/03owlt/description-logic/consistent908 Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent003 Reading http://www.w3.org/2002/03owlt/disjointWith/consistent003 Done parsing http://www.w3.org/2002/03owlt/disjointWith/consistent003 Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest004#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent004 Reading http://www.w3.org/2002/03owlt/disjointWith/consistent004 OWL ERROR: When checking disjoints Disjoints not a clique Done parsing http://www.w3.org/2002/03owlt/disjointWith/consistent004 Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest005#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent005 Reading http://www.w3.org/2002/03owlt/disjointWith/consistent005 Done parsing http://www.w3.org/2002/03owlt/disjointWith/consistent005 Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest006#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent006 Reading http://www.w3.org/2002/03owlt/disjointWith/consistent006 OWL ERROR: When checking disjoints Disjoints not a clique Done parsing http://www.w3.org/2002/03owlt/disjointWith/consistent006 Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest007#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent007 Reading http://www.w3.org/2002/03owlt/disjointWith/consistent007 Done parsing http://www.w3.org/2002/03owlt/disjointWith/consistent007 Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest008#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent008 Reading http://www.w3.org/2002/03owlt/disjointWith/consistent008 OWL ERROR: When checking disjoints Disjoints not a clique Done parsing http://www.w3.org/2002/03owlt/disjointWith/consistent008 Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent009 Reading http://www.w3.org/2002/03owlt/disjointWith/consistent009 Done parsing http://www.w3.org/2002/03owlt/disjointWith/consistent009 Trying consistent <http://www.w3.org/2002/03owlt/equivalentClass/Manifest009#test> Parsing http://www.w3.org/2002/03owlt/equivalentClass/consistent009 Reading http://www.w3.org/2002/03owlt/equivalentClass/consistent009 Done parsing http://www.w3.org/2002/03owlt/equivalentClass/consistent009 Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest102#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent102 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent102 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent102 Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest103#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent103 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent103 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent103 Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest201#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent201 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent201 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent201 Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest202#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent202 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent202 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent202 Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest205#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent205 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent205 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent205 Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest303#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent303 Reading http://www.w3.org/2002/03owlt/miscellaneous/consistent303 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent303 Trying inconsistent <http://www.w3.org/2002/03owlt/I4.5/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/I4.5/inconsistent002 Reading http://www.w3.org/2002/03owlt/I4.5/inconsistent002 Done parsing http://www.w3.org/2002/03owlt/I4.5/inconsistent002 Trying inconsistent <http://www.w3.org/2002/03owlt/I5.8/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/I5.8/inconsistent001 Reading http://www.w3.org/2002/03owlt/I5.8/inconsistent001 Done parsing http://www.w3.org/2002/03owlt/I5.8/inconsistent001 Trying inconsistent <http://www.w3.org/2002/03owlt/I5.8/Manifest003#test> Parsing http://www.w3.org/2002/03owlt/I5.8/inconsistent003 Reading http://www.w3.org/2002/03owlt/I5.8/inconsistent003 Done parsing http://www.w3.org/2002/03owlt/I5.8/inconsistent003 Trying inconsistent <http://www.w3.org/2002/03owlt/Nothing/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/Nothing/inconsistent001 Reading http://www.w3.org/2002/03owlt/Nothing/inconsistent001 Done parsing http://www.w3.org/2002/03owlt/Nothing/inconsistent001 Trying inconsistent <http://www.w3.org/2002/03owlt/Restriction/Manifest001#test> Parsing http://www.w3.org/2002/03owlt/Restriction/inconsistent001 Reading http://www.w3.org/2002/03owlt/Restriction/inconsistent001 Done parsing http://www.w3.org/2002/03owlt/Restriction/inconsistent001 Trying inconsistent <http://www.w3.org/2002/03owlt/Restriction/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/Restriction/inconsistent002 Reading 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 Done parsing http://www.w3.org/2002/03owlt/Restriction/inconsistent002 Trying inconsistent <http://www.w3.org/2002/03owlt/Thing/Manifest002#test> Parsing http://www.w3.org/2002/03owlt/Thing/inconsistent002 Reading http://www.w3.org/2002/03owlt/Thing/inconsistent002 Done parsing http://www.w3.org/2002/03owlt/Thing/inconsistent002 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest035#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent035 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent035 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent035 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest502#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent502 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent502 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent502 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest504#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent504 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent504 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent504 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest601#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent601 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent601 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent601 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest644#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent644 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent644 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent644 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest646#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent646 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent646 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent646 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest650#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent650 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent650 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent650 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest909#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent909 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent909 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent909 Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest910#test> Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent910 Reading http://www.w3.org/2002/03owlt/description-logic/inconsistent910 Done parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent910 Trying inconsistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest203#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203 Reading http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203 Trying inconsistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest204#test> Parsing http://www.w3.org/2002/03owlt/miscellaneous/inconsistent204 Reading http://www.w3.org/2002/03owlt/miscellaneous/inconsistent204 Done parsing http://www.w3.org/2002/03owlt/miscellaneous/inconsistent204
Received on Wednesday, 27 August 2003 15:48:53 UTC