W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2003

detailed results of OWL DL syntax checker

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 11 Aug 2003 17:25:50 -0400 (EDT)
Message-Id: <20030811.172550.68531192.pfps@research.bell-labs.com>
To: www-webont-wg@w3.org

Here are the detailed results of my OWL DL syntax checker.  The only
incorrect results that I can see are due to problems with the XML reader I
am using.  These should be fixed in a week or so.

peter

The tests were gathered by the following procedure, using 
http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest.rdf as the
source of data about the tests.

For every approved test of each type 
  For every input/premise/conclusion/... document
    Parse the document, 
      requiring success if the document is labelled as Lite or DL
      requiring not success otherwise
  If the test is a not OWL test
    For every input document that is labelled as DL or Full 
		(of which there are none)
      Parse the document, requiring not success
For every proposed test of each type
  [Process as above]

Output lines are as follows:
  Trying ...		Working on a test
  Parsing ...		Trying to parse a document
  Reading ...		Reading a document
  Error.Query ...	Galax couldn't read the document as an XML document
  OWL ERROR ...		Error code when parsing the document as OWL DL
  FAILED ...		Incorrect result on a document


The output (slightly edited)


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
Error.Query 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
Error.Query 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
Error.Query 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>
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>
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 _:B14
When checking sequence at _:B15
Untyped individual ID http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred
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>
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>
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>
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"
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"
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>
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003
Reading 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>
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>
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>
Parsing http://www.w3.org/2002/03owlt/I4.6/conclusions003
Reading 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"
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"
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
Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions002
Reading 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>
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>
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
Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions004
Reading 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>
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>
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"
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"
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
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>
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>
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004
Reading 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>
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>
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>
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>
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
Parsing http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001
Reading 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
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions001
Reading 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
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions002
Reading 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
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions003
Reading 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
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions004
Reading 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>
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>
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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions901
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions903
Reading 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>
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>
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 _:B56
When checking sequence at _:B57
Untyped individual ID http://www.w3.org/2002/03owlt/differentFrom/premises002#Fred
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>
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
Parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions001
Reading 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>
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>
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 _:B61
When checking sequence at _:B62
Untyped individual ID http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred
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>
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
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions001
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions002
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions003
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions004
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions006
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004
Reading 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>
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>
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>
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>
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> _:B81
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>
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>
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>
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> _:B85
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>
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> _:B88
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>
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> _:B94
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>
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> _:B96
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>
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
Parsing http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions902
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions904
Reading 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
Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005
Reading 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>
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>
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
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>
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>
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>
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
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
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 _:B120 <http://www.w3.org/2002/03owlt/I5.3/consistent005#p> _:B121
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
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 _:B124 <http://www.w3.org/2002/03owlt/I5.3/consistent007#dp> "value"
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
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 _:B126
Illegal value for object property
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Error.Query http://www.w3.org/2002/03owlt/miscellaneous/consistent001
FAILED to parse 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
Error.Query http://www.w3.org/2002/03owlt/miscellaneous/consistent002
FAILED to parse 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 _:B508
When checking oneOf at _:B508
When checking sequence at _:B509
Untyped individual ID http://www.w3.org/2002/03owlt/oneOf/consistent001#yolanda
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> _:B511
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> _:B512
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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>
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>
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>
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>

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
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>
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>
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> _:B1265
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
Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002
Reading 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>
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 _:B1268
When checking restriction at _:B1268
Invalid property for restriction
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
Parsing http://www.w3.org/2002/03owlt/I4.5/conclusions001
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions004
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions006
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.21/conclusions002
Reading 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>
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>
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
Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions003
Reading 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>
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>
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>
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>
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
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions004
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions006
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions008
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions009
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions010
Reading 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> _:B1311
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> _:B1315
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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions201
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions202
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions203
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions204
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions205
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions206
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions207
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions208
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions661
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions662
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions663
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions664
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions665
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions666
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions667
Reading 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
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions668
Reading 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>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions007
Reading http://www.w3.org/2002/03owlt/equivalentClass/conclusions007
OWL ERROR: Unused triple _:B4108 <http://www.w3.org/2002/07/owl#equivalentClass> _:B4113
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 _:B4123
When checking restriction at _:B4123
Invalid property for restriction
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
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 _:B4130
When checking restriction at _:B4130
Invalid property for restriction
Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions003
Reading http://www.w3.org/2002/03owlt/extra-credit/conclusions003
OWL ERROR: Unused triple _:B4131 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>
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 _:B4144
When checking restriction at _:B4144
Invalid property for restriction
Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions004
Reading http://www.w3.org/2002/03owlt/extra-credit/conclusions004
OWL ERROR: Unused triple _:B4145 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>
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
Error.Query http://www.w3.org/2002/03owlt/oneOf/premises004
FAILED to parse 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
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>
Parsing http://www.w3.org/2002/03owlt/sameAs/conclusions001
Reading 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
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> _:B4153
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
Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions003
Reading 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
Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions004
Reading 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
Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001
Reading 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
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>
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
Parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions005
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions005
Reading 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
Parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions007
Reading 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>
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> _:B4168
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
Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008
Reading 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
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
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
Parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302
Reading 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
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>
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>
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
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
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
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
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
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 _:B4196 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>
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 _:B4200
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
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
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
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>
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 _:B4206 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2002/03owlt/I5.26/consistent006#B>
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 _:B4211
Illegal value for object property
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
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
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
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 _:B4215
When checking sequence at _:B4216
When checking description at _:http://www.w3.org/2002/03owlt/Restriction/consistent003r
No description at _:http://www.w3.org/2002/03owlt/Restriction/consistent003r
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Received on Monday, 11 August 2003 17:25:59 GMT

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