W3C home > Mailing lists > Public > public-webont-comments@w3.org > August 2003

Report on Parsing the OWL tests

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 27 Aug 2003 15:48:35 -0400 (EDT)
Message-Id: <20030827.154835.40005065.pfps@research.bell-labs.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:43:29 GMT