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

Re: New tests in editors draft

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 22 Sep 2003 10:27:13 -0400 (EDT)
Message-Id: <20030922.102713.36512066.pfps@research.bell-labs.com>
To: jjc@hpl.hp.com
Cc: www-webont-wg@w3.org

From: Jeremy Carroll <jjc@hpl.hp.com>
Subject: Re: New tests in editors draft 
Date: Mon, 22 Sep 2003 13:13:02 +0300

[...]

> I have added more tests, and my checker is still on the bench - if you would 
> oblige to give another set of errors ....
> (Just the raw OWLP output would be fine - maybe I should download it - does it 
> include the test harness?).

The software includes a test harness, but needs a version of Galax that has
not yet been distributed.  If you are running on a SPARC I can send you an
executable, I think.

> Jeremy

There appears to be a few divergences in the new tests.

peter


saras65k 427> ./owlTest > RESULTS.rdf

Running approved tests
Trying not OWL <http://www.w3.org/2002/03owlt/I3.2/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I3.2/bad001
Reading DL http://www.w3.org/2002/03owlt/I3.2/bad001
OWL ERROR: Unused triple _:B14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction>
Required level Full Determined level Full
Trying not OWL <http://www.w3.org/2002/03owlt/I3.2/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/I3.2/bad002
Reading DL http://www.w3.org/2002/03owlt/I3.2/bad002
OWL ERROR: Unused triple _:B15 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction>
Required level Full Determined level Full
Trying not OWL <http://www.w3.org/2002/03owlt/I3.2/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/I3.2/bad003
Reading DL http://www.w3.org/2002/03owlt/I3.2/bad003
OWL ERROR: Unused triple _:B16 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction>
Required level Full Determined level Full
Trying not OWL <http://www.w3.org/2002/03owlt/I3.4/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I3.4/bad001
Reading DL http://www.w3.org/2002/03owlt/I3.4/bad001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I3.4/bad001#Name> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#UnambiguousProperty>
Required level Full Determined level Full
Trying not OWL <http://www.w3.org/2002/03owlt/I4.1/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I4.1/bad001
Reading DL http://www.w3.org/2002/03owlt/I4.1/bad001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.1/bad001#Name> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#UniqueProperty>
Required level Full Determined level Full
Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/I4.6/bad006
Reading DL http://www.w3.org/2002/03owlt/I4.6/bad006
OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/I4.6/bad006#a>
Illegal property on individual
Required level Full Determined level Full
Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/I4.6/bad007
Reading DL http://www.w3.org/2002/03owlt/I4.6/bad007
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.6/bad007#a> <http://www.w3.org/2002/07/owl#sameClassAs> <http://www.w3.org/2002/03owlt/I4.6/bad007#b>
Required level Full Determined level Full
Trying not OWL <http://www.w3.org/2002/03owlt/I4.6/Manifest008#test>
Parsing http://www.w3.org/2002/03owlt/I4.6/bad008
Reading DL http://www.w3.org/2002/03owlt/I4.6/bad008
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.6/bad008#a> <http://www.w3.org/2002/07/owl#samePropertyAs> <http://www.w3.org/2002/03owlt/I4.6/bad008#b>
Required level Full Determined level Full
Trying not OWL <http://www.w3.org/2002/03owlt/I5.21/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I5.21/bad001
Reading DL http://www.w3.org/2002/03owlt/I5.21/bad001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.21/bad001#AandB> <http://www.w3.org/2002/07/owl#disjointUnionOf> _:B17
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/AllDifferent/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/AllDifferent/premises001
Reading DL http://www.w3.org/2002/03owlt/AllDifferent/premises001
OWL ERROR: When checking allDifferent at _:B19
When checking sequence at _:B20
Untyped individual ID http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/AllDifferent/conclusions001
Reading DL http://www.w3.org/2002/03owlt/AllDifferent/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises001
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises002
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object1> <http://www.example.org/prop2> "value"
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#object2> <http://www.example.org/prop2> "value"
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises003
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises003
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises004
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises004
OWL ERROR: Non-class uri for description: <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#Singleton>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/premises005
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/premises005
OWL ERROR: Unused triple <http://www.example.org/foo#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005
Reading DL http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005
OWL ERROR: When checking Individual <http://www.example.org/foo#object>
When checking description at _:B26
When checking restriction at _:B26
Invalid property for restriction
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/I4.5/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I4.5/premises001
Reading DL http://www.w3.org/2002/03owlt/I4.5/premises001
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/I4.5/conclusions001
Reading DL http://www.w3.org/2002/03owlt/I4.5/conclusions001
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/I4.6/premises003
Reading DL http://www.w3.org/2002/03owlt/I4.6/premises003
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.6/premises003#C1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/I4.6/premises003#C2>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/I4.6/conclusions003
Reading DL http://www.w3.org/2002/03owlt/I4.6/conclusions003
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.1/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I5.1/premises001
Reading DL http://www.w3.org/2002/03owlt/I5.1/premises001
OWL ERROR: Unused triple _:http://www.w3.org/2002/03owlt/I5.1/premises001A0 <http://example.org/vocab#population> "2688418"
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/I5.1/conclusions001
Reading DL http://www.w3.org/2002/03owlt/I5.1/conclusions001
OWL ERROR: Unused triple _:http://www.w3.org/2002/03owlt/I5.1/conclusions001A0 <http://example.org/vocab#population> "2688418"
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/I5.2/premises002
Reading DL http://www.w3.org/2002/03owlt/I5.2/premises002
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions002
Reading DL http://www.w3.org/2002/03owlt/I5.2/conclusions002
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/I5.2/premises004
Reading DL http://www.w3.org/2002/03owlt/I5.2/premises004
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions004
Reading DL http://www.w3.org/2002/03owlt/I5.2/conclusions004
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.2/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/I5.2/premises006
Reading DL http://www.w3.org/2002/03owlt/I5.2/premises006
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.2/conclusions006
Reading DL http://www.w3.org/2002/03owlt/I5.2/conclusions006
OWL ERROR: owl:unionOf construct
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I5.24/premises001
Reading DL http://www.w3.org/2002/03owlt/I5.24/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.24/premises001#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions001
Reading DL http://www.w3.org/2002/03owlt/I5.24/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.24/premises001#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/I5.24/premises002
Reading DL http://www.w3.org/2002/03owlt/I5.24/premises002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.24/premises002#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions002
Reading DL http://www.w3.org/2002/03owlt/I5.24/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I5.24/premises002#prop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/I5.24/premises003
Reading DL http://www.w3.org/2002/03owlt/I5.24/premises003
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions003
Reading DL http://www.w3.org/2002/03owlt/I5.24/conclusions003
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.24/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/I5.24/premises004
Reading DL http://www.w3.org/2002/03owlt/I5.24/premises004
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.24/conclusions004
Reading DL http://www.w3.org/2002/03owlt/I5.24/conclusions004
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.3/Manifest015#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/premises015
Reading DL http://www.w3.org/2002/03owlt/I5.3/premises015
OWL ERROR: Unused triple <http://example.org/p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/I5.3/conclusions015
Reading DL http://www.w3.org/2002/03owlt/I5.3/conclusions015
OWL ERROR: Unused triple <http://example.org/p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/premises006
Reading DL http://www.w3.org/2002/03owlt/I5.8/premises006
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions006
Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions006
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest008#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/premises008
Reading DL http://www.w3.org/2002/03owlt/I5.8/premises008
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions008
Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions008
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest009#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/premises009
Reading DL http://www.w3.org/2002/03owlt/I5.8/premises009
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions009
Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions009
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest010#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/premises010
Reading DL http://www.w3.org/2002/03owlt/I5.8/premises010
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions010
Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions010
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001
Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1> <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop> <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#object>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001
Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002
Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1> <http://www.example.org/prop2> "value"
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002
Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2> <http://www.example.org/prop2> "value"
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003
Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003
OWL ERROR: Not an object property
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003
Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#inv> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004
Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004
OWL ERROR: Non-class uri for description: <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004#Singleton>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004
Reading DL http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/premises001
Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Ghent> <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path> <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Antwerp>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001
Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Antwerp> <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#path> <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#Ghent>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/premises003
Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/premises003
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003
Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003
OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/SymmetricProperty/premises003#Antwerp>
Illegal property on individual
Required level Lite Determined level Full
FAILED to correctly identify http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003
Trying positive entailment <http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/premises001
Reading DL http://www.w3.org/2002/03owlt/TransitiveProperty/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Antwerp> <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#path> <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Amsterdam>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001
Reading DL http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Ghent> <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#path> <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#Amsterdam>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/allValuesFrom/premises001
Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/premises001
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001
Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/cardinality/premises001
Reading DL http://www.w3.org/2002/03owlt/cardinality/premises001
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions001
Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions001
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/cardinality/premises002
Reading DL http://www.w3.org/2002/03owlt/cardinality/premises002
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions002
Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions002
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/cardinality/premises003
Reading DL http://www.w3.org/2002/03owlt/cardinality/premises003
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions003
Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions003
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/cardinality/premises004
Reading DL http://www.w3.org/2002/03owlt/cardinality/premises004
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions004
Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions004
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/cardinality/premises006
Reading DL http://www.w3.org/2002/03owlt/cardinality/premises006
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/conclusions006#c> <http://www.w3.org/2002/07/owl#intersectionOf> _:B78
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions006
Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions006
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/conclusions006#c> <http://www.w3.org/2002/07/owl#intersectionOf> _:B82
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/complementOf/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/complementOf/premises001
Reading DL http://www.w3.org/2002/03owlt/complementOf/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/complementOf/premises001#A> <http://www.w3.org/2002/07/owl#complementOf> <http://www.w3.org/2002/03owlt/complementOf/premises001#B>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/complementOf/conclusions001
Reading DL http://www.w3.org/2002/03owlt/complementOf/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/complementOf/premises001#B> <http://www.w3.org/2002/07/owl#complementOf> <http://www.w3.org/2002/03owlt/complementOf/premises001#A>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest201#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises201
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises201
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions201
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions201
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest202#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises202
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises202
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions202
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions202
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest203#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises203
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises203
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions203
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions203
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest204#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises204
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises204
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions204
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions204
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest205#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises205
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises205
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions205
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions205
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest207#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises207
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises207
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions207
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions207
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest661#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises661
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises661
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions661
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions661
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest662#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises662
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises662
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions662
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions662
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest664#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises664
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises664
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions664
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions664
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest665#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises665
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises665
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions665
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions665
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest667#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises667
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises667
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions667
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions667
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest901#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises901
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises901
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions901
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions901
OWL ERROR: owl:subClassOf construct
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest903#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises903
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises903
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions903
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions903
OWL ERROR: owl:subClassOf construct
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/differentFrom/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/differentFrom/premises001
Reading DL http://www.w3.org/2002/03owlt/differentFrom/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/differentFrom/premises001#a> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/differentFrom/premises001#b>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/differentFrom/conclusions001
Reading DL http://www.w3.org/2002/03owlt/differentFrom/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/differentFrom/premises001#b> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/differentFrom/premises001#a>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/differentFrom/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/differentFrom/premises002
Reading DL http://www.w3.org/2002/03owlt/differentFrom/premises002
OWL ERROR: When checking allDifferent at _:B1608
When checking sequence at _:B1609
Untyped individual ID http://www.w3.org/2002/03owlt/differentFrom/premises002#Fred
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/differentFrom/conclusions002
Reading DL http://www.w3.org/2002/03owlt/differentFrom/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/differentFrom/premises002#Barney> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/differentFrom/premises002#Wilma>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/premises001
Reading DL http://www.w3.org/2002/03owlt/disjointWith/premises001
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions001
Reading DL http://www.w3.org/2002/03owlt/disjointWith/conclusions001
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/premises002
Reading DL http://www.w3.org/2002/03owlt/disjointWith/premises002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/disjointWith/premises002#A> <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/disjointWith/premises002#B>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/disjointWith/conclusions002
Reading DL http://www.w3.org/2002/03owlt/disjointWith/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/disjointWith/premises002#a> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/disjointWith/premises002#b>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/distinctMembers/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/distinctMembers/premises001
Reading DL http://www.w3.org/2002/03owlt/distinctMembers/premises001
OWL ERROR: When checking allDifferent at _:B1613
When checking sequence at _:B1614
Untyped individual ID http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/distinctMembers/conclusions001
Reading DL http://www.w3.org/2002/03owlt/distinctMembers/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/distinctMembers/premises001#Fred> <http://www.w3.org/2002/07/owl#differentFrom> <http://www.w3.org/2002/03owlt/distinctMembers/premises001#Barney>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises001
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises001
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions001
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions001
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises002
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises002
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions002
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions002
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises003
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises003
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions003
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions003
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises004
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises004
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions004
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions004
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises006
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises006
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions006
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions006
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises007
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises007
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentClass/premises007#A> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/equivalentClass/conclusions007
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/conclusions007
OWL ERROR: Unused triple _:B1631 <http://www.w3.org/2002/07/owl#equivalentClass> _:B1636
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises001
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises001
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises002
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises002
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises003
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises003
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises004
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises004
OWL ERROR: value in restriction
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises005
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises005
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentProperty/premises005#p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentProperty/premises005#p> <http://www.w3.org/2002/07/owl#equivalentProperty> <http://www.w3.org/2002/03owlt/equivalentProperty/premises005#q>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/premises006
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/premises006
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#X> <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader> <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#Y>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006
Reading DL http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#X> <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead> <http://www.w3.org/2002/03owlt/equivalentProperty/premises006#Y>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/intersectionOf/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/intersectionOf/premises001
Reading DL http://www.w3.org/2002/03owlt/intersectionOf/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/intersectionOf/premises001#B> <http://www.w3.org/2002/07/owl#intersectionOf> _:B1642
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/intersectionOf/conclusions001
Reading DL http://www.w3.org/2002/03owlt/intersectionOf/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/intersectionOf/premises001#John> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/intersectionOf/premises001#C>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/inverseOf/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/inverseOf/premises001
Reading DL http://www.w3.org/2002/03owlt/inverseOf/premises001
OWL ERROR: Unused triple <http://example.net/myVocab#hasBrother> <http://www.w3.org/2002/07/owl#inverseOf> <http://example.net/yourVocab#isBrotherOf>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/inverseOf/conclusions001
Reading DL http://www.w3.org/2002/03owlt/inverseOf/conclusions001
OWL ERROR: Unused triple <http://example.net/vocab#bob> <http://example.net/yourVocab#isBrotherOf> <http://example.net/vocab#joe>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/oneOf/premises002
Reading DL http://www.w3.org/2002/03owlt/oneOf/premises002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/oneOf/premises002#TShirt> <http://www.w3.org/2002/07/owl#oneOf> _:B1646
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions002
Reading DL http://www.w3.org/2002/03owlt/oneOf/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/oneOf/premises002#small> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/oneOf/premises002#TShirt>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/oneOf/premises003
Reading DL http://www.w3.org/2002/03owlt/oneOf/premises003
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/oneOf/premises003#T1> <http://www.w3.org/2002/07/owl#oneOf> _:B1649
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions003
Reading DL http://www.w3.org/2002/03owlt/oneOf/conclusions003
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/oneOf/premises003#myT> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/oneOf/premises003#T2>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/unionOf/premises001
Reading DL http://www.w3.org/2002/03owlt/unionOf/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/unionOf/premises001#A> <http://www.w3.org/2002/07/owl#unionOf> _:B1655
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions001
Reading DL http://www.w3.org/2002/03owlt/unionOf/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/unionOf/premises001#John> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/unionOf/premises001#A>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/unionOf/premises002
Reading DL http://www.w3.org/2002/03owlt/unionOf/premises002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/unionOf/premises002#A> <http://www.w3.org/2002/07/owl#unionOf> _:B1657
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions002
Reading DL http://www.w3.org/2002/03owlt/unionOf/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/unionOf/premises002#John> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/unionOf/premises002#B>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/unionOf/premises003
Reading DL http://www.w3.org/2002/03owlt/unionOf/premises003
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions003
Reading DL http://www.w3.org/2002/03owlt/unionOf/conclusions003
OWL ERROR: owl:unionOf construct
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/unionOf/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/unionOf/premises004
Reading DL http://www.w3.org/2002/03owlt/unionOf/premises004
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/unionOf/conclusions004
Reading DL http://www.w3.org/2002/03owlt/unionOf/conclusions004
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Trying negative entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/I4.6/premises004
Reading DL http://www.w3.org/2002/03owlt/I4.6/premises004
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions004
Reading DL http://www.w3.org/2002/03owlt/I4.6/nonconclusions004
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/I4.6/nonconclusions004#C2>
Required level Full Determined level Full
Trying negative entailment <http://www.w3.org/2002/03owlt/I4.6/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/I4.6/premises005
Reading DL http://www.w3.org/2002/03owlt/I4.6/premises005
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I4.6/nonconclusions005
Reading DL http://www.w3.org/2002/03owlt/I4.6/nonconclusions005
Required level Lite Determined level Lite
Trying negative entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/premises007
Reading DL http://www.w3.org/2002/03owlt/I5.8/premises007
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions007
Reading DL http://www.w3.org/2002/03owlt/I5.8/nonconclusions007
Required level Lite Determined level Lite
Trying negative entailment <http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/allValuesFrom/premises002
Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/premises002
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002
Reading DL http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002
Required level Lite Determined level Lite
Trying negative entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest902#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises902
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises902
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions902
Reading DL http://www.w3.org/2002/03owlt/description-logic/nonconclusions902
OWL ERROR: owl:subClassOf construct
Required level DL Determined level DL
Trying negative entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest904#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises904
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises904
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/nonconclusions904
Reading DL http://www.w3.org/2002/03owlt/description-logic/nonconclusions904
OWL ERROR: owl:subClassOf construct
Required level DL Determined level DL
Trying negative entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises005
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises005
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005
Required level Lite Determined level Lite
Trying negative entailment <http://www.w3.org/2002/03owlt/equivalentClass/Manifest008#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/premises008
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/premises008
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008
Required level Lite Determined level Lite
Trying negative entailment <http://www.w3.org/2002/03owlt/imports/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/imports/premises002
Reading DL http://www.w3.org/2002/03owlt/imports/premises002
OWL ERROR: Unused triple <http://example.org/data#Socrates> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/imports/support002-A#Man>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/imports/nonconclusions002
Reading DL http://www.w3.org/2002/03owlt/imports/nonconclusions002
OWL ERROR: Unused triple <http://example.org/data#Socrates> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/imports/support002-A#Mortal>
Required level Full Determined level Full
Trying negative entailment <http://www.w3.org/2002/03owlt/miscellaneous/Manifest301#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/premises301
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/premises301
OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/miscellaneous/premises301#a>
Illegal property on individual
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301
OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/miscellaneous/premises301#a>
Illegal property on individual
Required level Full Determined level Full
Trying negative entailment <http://www.w3.org/2002/03owlt/miscellaneous/Manifest302#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/premises302
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/premises302
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302
Required level Lite Determined level Lite
Trying OWL for OWL <http://www.w3.org/2002/03owlt/I5.5/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I5.5/conclusions001
Reading DL http://www.w3.org/2002/03owlt/I5.5/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>
Required level Full Determined level Full
Trying OWL for OWL <http://www.w3.org/2002/03owlt/I5.5/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/I5.5/conclusions002
Reading DL http://www.w3.org/2002/03owlt/I5.5/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty>
Required level Full Determined level Full
Trying OWL for OWL <http://www.w3.org/2002/03owlt/Nothing/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/Nothing/conclusions002
Reading DL http://www.w3.org/2002/03owlt/Nothing/conclusions002
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I5.2/consistent001
Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent001
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/I5.2/consistent003
Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent003
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/I5.2/consistent005
Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent005
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest010#test>
Parsing http://www.w3.org/2002/03owlt/I5.2/consistent010
Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent010
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.2/Manifest011#test>
Parsing http://www.w3.org/2002/03owlt/I5.2/consistent011
Reading DL http://www.w3.org/2002/03owlt/I5.2/consistent011
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/I5.26/consistent002
Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent002
OWL ERROR: When checking Individual _:B1711
When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent002B
No description at _:http://www.w3.org/2002/03owlt/I5.26/consistent002B
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/I5.26/consistent005
Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent005
OWL ERROR: When checking equivalents
When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent005B
When checking intersectionOf at _:http://www.w3.org/2002/03owlt/I5.26/consistent005B
Extra triple found _:http://www.w3.org/2002/03owlt/I5.26/consistent005B <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.26/consistent005#C>
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/I5.26/consistent006
Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent006
OWL ERROR: Unused triple _:B1713 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2002/03owlt/I5.26/consistent006#B>
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/consistent005
Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent005
OWL ERROR: Unused triple _:B1718 <http://www.w3.org/2002/03owlt/I5.3/consistent005#p> _:B1719
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/consistent006
Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent006
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/consistent007
Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent007
OWL ERROR: Unused triple _:B1722 <http://www.w3.org/2002/03owlt/I5.3/consistent007#dp> "value"
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest008#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/consistent008
Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent008
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest009#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/consistent009
Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent009
OWL ERROR: When checking Individual _:B1724
Illegal value for object property
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest011#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/consistent011
Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent011
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/Restriction/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/Restriction/consistent003
Reading DL http://www.w3.org/2002/03owlt/Restriction/consistent003
OWL ERROR: When checking sequence at _:B1726
When checking sequence at _:B1727
When checking description at _:http://www.w3.org/2002/03owlt/Restriction/consistent003r
No description at _:http://www.w3.org/2002/03owlt/Restriction/consistent003r
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/Restriction/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/Restriction/consistent004
Reading DL http://www.w3.org/2002/03owlt/Restriction/consistent004
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent005
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent005
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent006
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent006
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest009#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent009
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent009
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest016#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent016
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent016
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest018#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent018
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent018
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest020#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent020
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent020
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest021#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent021
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent021
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest024#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent024
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent024
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest025#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent025
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent025
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest028#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent028
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent028
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest031#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent031
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent031
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest034#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent034
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent034
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest605#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent605
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent605
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest606#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent606
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent606
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest609#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent609
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent609
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest616#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent616
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent616
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest624#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent624
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent624
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest625#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent625
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent625
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest628#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent628
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent628
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest631#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent631
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent631
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest634#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent634
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent634
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest908#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent908
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent908
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent003
Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent003
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent005
Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent005
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent007
Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent007
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest008#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent008
Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent008
OWL ERROR: When checking disjoints
Disjoints not a clique
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest009#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent009
Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent009
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/equivalentClass/Manifest009#test>
Parsing http://www.w3.org/2002/03owlt/equivalentClass/consistent009
Reading DL http://www.w3.org/2002/03owlt/equivalentClass/consistent009
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent001
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent001
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent002
OWL ERROR: value in restriction
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent002
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent002
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent001
OWL ERROR: value in restriction
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest102#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent102
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent102
OWL ERROR: embedded owl:intersectionOf
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest103#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent103
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent103
OWL ERROR: embedded owl:intersectionOf
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest201#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent201
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent201
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest202#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent202
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent202
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest303#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent303
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent303
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/oneOf/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/oneOf/consistent001
Reading DL http://www.w3.org/2002/03owlt/oneOf/consistent001
OWL ERROR: When checking equivalents
When checking description at _:B3487
When checking oneOf at _:B3487
When checking sequence at _:B3488
Untyped individual ID http://www.w3.org/2002/03owlt/oneOf/consistent001#yolanda
Required level Full Determined level Full
Trying inconsistent <http://www.w3.org/2002/03owlt/I4.5/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/I4.5/inconsistent002
Reading DL http://www.w3.org/2002/03owlt/I4.5/inconsistent002
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/I5.5/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/I5.5/inconsistent003
Reading DL http://www.w3.org/2002/03owlt/I5.5/inconsistent003
OWL ERROR: Unused triple <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:B3498
Required level Full Determined level Full
Trying inconsistent <http://www.w3.org/2002/03owlt/I5.5/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/I5.5/inconsistent004
Reading DL http://www.w3.org/2002/03owlt/I5.5/inconsistent004
OWL ERROR: Unused triple <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:B3499
Required level Full Determined level Full
Trying inconsistent <http://www.w3.org/2002/03owlt/Nothing/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/Nothing/inconsistent001
Reading DL http://www.w3.org/2002/03owlt/Nothing/inconsistent001
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/Restriction/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/Restriction/inconsistent001
Reading DL http://www.w3.org/2002/03owlt/Restriction/inconsistent001
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/Restriction/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/Restriction/inconsistent002
Reading DL http://www.w3.org/2002/03owlt/Restriction/inconsistent002
OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/Restriction/inconsistent002#a>
When checking description at _:http://www.w3.org/2002/03owlt/Restriction/inconsistent002r
No description at _:http://www.w3.org/2002/03owlt/Restriction/inconsistent002r
Required level Full Determined level Full
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent001
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent001
OWL ERROR: owl:unionOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent002
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent002
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent003
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent003
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent004
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent004
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent007
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent007
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest008#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent008
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent008
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest010#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent010
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent010
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest011#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent011
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent011
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest012#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent012
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent012
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest013#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent013
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent013
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest014#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent014
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent014
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest015#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent015
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent015
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest017#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent017
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent017
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest019#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent019
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent019
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest022#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent022
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent022
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest023#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent023
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent023
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest026#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent026
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent026
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest027#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent027
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent027
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest029#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent029
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent029
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest030#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent030
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent030
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest032#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent032
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent032
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest033#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent033
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent033
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest035#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent035
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent035
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest101#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent101
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent101
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest102#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent102
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent102
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest103#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent103
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent103
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest104#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent104
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent104
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest105#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent105
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent105
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest106#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent106
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent106
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest107#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent107
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent107
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest108#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent108
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent108
OWL ERROR: owl:complementOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest109#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent109
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent109
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest110#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent110
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent110
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest111#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent111
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent111
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest601#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent601
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent601
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest602#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent602
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent602
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest603#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent603
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent603
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest604#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent604
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent604
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest608#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent608
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent608
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest610#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent610
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent610
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest611#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent611
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent611
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest612#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent612
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent612
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest613#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent613
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent613
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest614#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent614
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent614
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest615#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent615
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent615
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest617#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent617
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent617
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest623#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent623
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent623
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest626#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent626
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent626
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest627#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent627
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent627
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest629#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent629
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent629
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest630#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent630
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent630
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest632#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent632
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent632
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest633#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent633
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent633
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest641#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent641
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent641
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest642#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent642
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent642
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest643#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent643
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent643
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest644#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent644
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent644
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest646#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent646
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent646
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest650#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent650
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent650
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/maxCardinality/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001
Reading DL http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001
OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001#sb1>
Illegal value for object property
Required level Full Determined level Full
Trying inconsistent <http://www.w3.org/2002/03owlt/maxCardinality/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002
Reading DL http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002
OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002#sb1>
Illegal value for object property
Required level Full Determined level Full
Trying import entail <http://www.w3.org/2002/03owlt/imports/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/imports/premises001
Reading DL http://www.w3.org/2002/03owlt/imports/premises001
Reading DL http://www.w3.org/2002/03owlt/imports/support001-A
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/imports/premises001> <http://www.w3.org/2002/07/owl#imports> <http://www.w3.org/2002/03owlt/imports/support001-A>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/imports/conclusions001
Reading DL http://www.w3.org/2002/03owlt/imports/conclusions001
OWL ERROR: Unused triple <http://example.org/data#Socrates> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/imports/support001-A#Mortal>
Required level Full Determined level Full
Trying import entail <http://www.w3.org/2002/03owlt/imports/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/imports/premises003
Reading DL http://www.w3.org/2002/03owlt/imports/premises003
Reading DL http://www.w3.org/2002/03owlt/imports/support003-A
Reading DL http://www.w3.org/2002/03owlt/imports/support003-B
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/imports/premises003> <http://www.w3.org/2002/07/owl#imports> <http://www.w3.org/2002/03owlt/imports/support003-A>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/imports/conclusions003
Reading DL http://www.w3.org/2002/03owlt/imports/conclusions003
OWL ERROR: Unused triple <http://example.org/data#Socrates> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/imports/support003-B#Mortal>
Required level Full Determined level Full
Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/imports/main004
Reading DL http://www.w3.org/2002/03owlt/imports/main004
Reading DL http://www.w3.org/2002/03owlt/imports/imports004
OWL ERROR: When checking Ontology property on <http://www.w3.org/2002/03owlt/imports/main004>
Relationship to non-ontology
Required level Full Determined level Full
Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/imports/main005
Reading DL http://www.w3.org/2002/03owlt/imports/main005
Reading DL http://www.w3.org/2002/03owlt/imports/imports005
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/imports/main006
Reading DL http://www.w3.org/2002/03owlt/imports/main006
Reading DL http://www.w3.org/2002/03owlt/imports/imports006
Required level Lite Determined level Lite
Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/imports/main007
Reading DL http://www.w3.org/2002/03owlt/imports/main007
Reading DL http://www.w3.org/2002/03owlt/imports/imports007
Required level Lite Determined level Lite
Trying import level <http://www.w3.org/2002/03owlt/imports/Manifest008#test>
Parsing http://www.w3.org/2002/03owlt/imports/main008
Reading DL http://www.w3.org/2002/03owlt/imports/main008
Reading DL http://www.w3.org/2002/03owlt/imports/imports008
Required level Lite Determined level Lite

Running proposed tests
Trying positive entailment <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/premises002
Reading DL http://www.w3.org/2002/03owlt/AnnotationProperty/premises002
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002
Reading DL http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/Class/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/Class/premises002
Reading DL http://www.w3.org/2002/03owlt/Class/premises002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/Class/premises002#ex> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/Class/conclusions002
Reading DL http://www.w3.org/2002/03owlt/Class/conclusions002
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/Class/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/Class/premises003
Reading DL http://www.w3.org/2002/03owlt/Class/premises003
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/Class/conclusions003
Reading DL http://www.w3.org/2002/03owlt/Class/conclusions003
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/Class/premises003#ex> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.21/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/I5.21/premises002
Reading DL http://www.w3.org/2002/03owlt/I5.21/premises002
OWL ERROR: value in restriction
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/I5.21/conclusions002
Reading DL http://www.w3.org/2002/03owlt/I5.21/conclusions002
OWL ERROR: owl:disjointClasses construct
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.3/Manifest014#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/premises014
Reading DL http://www.w3.org/2002/03owlt/I5.3/premises014
OWL ERROR: Unused triple <http://example.org/x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/I5.3/conclusions014
Reading DL http://www.w3.org/2002/03owlt/I5.3/conclusions014
OWL ERROR: Unused triple <http://example.org/x> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/y>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/premises004
Reading DL http://www.w3.org/2002/03owlt/I5.8/premises004
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions004
Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions004
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/Ontology/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/Ontology/premises001
Reading DL http://www.w3.org/2002/03owlt/Ontology/premises001
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/Ontology/conclusions001
Reading DL http://www.w3.org/2002/03owlt/Ontology/conclusions001
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/Ontology/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/Ontology/premises002
Reading DL http://www.w3.org/2002/03owlt/Ontology/premises002
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/Ontology/conclusions002
Reading DL http://www.w3.org/2002/03owlt/Ontology/conclusions002
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/Ontology/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/Ontology/premises004
Reading DL http://www.w3.org/2002/03owlt/Ontology/premises004
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/Ontology/conclusions004
Reading DL http://www.w3.org/2002/03owlt/Ontology/conclusions004
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/premises002
Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/premises002
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002
Reading DL http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Trying positive entailment <http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/premises002
Reading DL http://www.w3.org/2002/03owlt/TransitiveProperty/premises002
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002
Reading DL http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/cardinality/premises005
Reading DL http://www.w3.org/2002/03owlt/cardinality/premises005
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/premises005#c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/cardinality/conclusions005
Reading DL http://www.w3.org/2002/03owlt/cardinality/conclusions005
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/premises005#c> <http://www.w3.org/2002/07/owl#intersectionOf> _:B4346
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest206#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises206
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises206
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions206
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions206
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest208#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises208
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises208
OWL ERROR: Non-atomic description
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions208
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions208
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest663#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises663
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises663
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions663
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions663
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest666#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises666
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises666
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions666
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions666
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/description-logic/Manifest668#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/premises668
Reading DL http://www.w3.org/2002/03owlt/description-logic/premises668
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/description-logic/conclusions668
Reading DL http://www.w3.org/2002/03owlt/description-logic/conclusions668
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/extra-credit/premises003
Reading DL http://www.w3.org/2002/03owlt/extra-credit/premises003
OWL ERROR: When checking sequence at _:B5629
Untyped individual ID http://www.w3.org/2002/03owlt/extra-credit/premises003#d
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions003
Reading DL http://www.w3.org/2002/03owlt/extra-credit/conclusions003
OWL ERROR: Unused triple _:B5636 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/extra-credit/premises004
Reading DL http://www.w3.org/2002/03owlt/extra-credit/premises004
OWL ERROR: When checking sequence at _:B5643
Untyped individual ID http://www.w3.org/2002/03owlt/extra-credit/premises004#d
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions004
Reading DL http://www.w3.org/2002/03owlt/extra-credit/conclusions004
OWL ERROR: Unused triple _:B5650 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>
Required level Full Determined level Full
Trying positive entailment <http://www.w3.org/2002/03owlt/oneOf/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/oneOf/premises004
Reading DL http://www.w3.org/2002/03owlt/oneOf/premises004
OWL ERROR: Non-atomic datatype
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/oneOf/conclusions004
Reading DL http://www.w3.org/2002/03owlt/oneOf/conclusions004
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/sameAs/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/sameAs/premises001
Reading DL http://www.w3.org/2002/03owlt/sameAs/premises001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/sameAs/premises001#c1> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2002/03owlt/sameAs/premises001#c2>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/sameAs/conclusions001
Reading DL http://www.w3.org/2002/03owlt/sameAs/conclusions001
Required level Lite Determined level Lite
Trying positive entailment <http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/someValuesFrom/premises001
Reading DL http://www.w3.org/2002/03owlt/someValuesFrom/premises001
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001
Reading DL http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i> <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p> _:B5668
Required level Full Determined level Full
Trying negative entailment <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/premises001
Reading DL http://www.w3.org/2002/03owlt/AnnotationProperty/premises001
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001
Reading DL http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001
Required level Lite Determined level Lite
Trying negative entailment <http://www.w3.org/2002/03owlt/Class/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/Class/premises004
Reading DL http://www.w3.org/2002/03owlt/Class/premises004
OWL ERROR: Unused triple <http://www.w3.org/2000/01/rdf-schema#Class> <http://purl.org/dc/elements/1.0/creator> <http://www.w3.org/RDF/Group/Schema/members>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/Class/nonconclusions004
Reading DL http://www.w3.org/2002/03owlt/Class/nonconclusions004
OWL ERROR: Node found with multiple categories <http://www.w3.org/2002/07/owl#Class> http://www.w3.org/2002/07/owl#Class http://www.w3.org/2002/07/owl#Thing
Required level Full Determined level Full
Trying negative entailment <http://www.w3.org/2002/03owlt/I5.8/Manifest005#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/premises005
Reading DL http://www.w3.org/2002/03owlt/I5.8/premises005
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Parsing http://www.w3.org/2002/03owlt/I5.8/nonconclusions005
Reading DL http://www.w3.org/2002/03owlt/I5.8/nonconclusions005
Required level Lite Determined level Lite
Trying negative entailment <http://www.w3.org/2002/03owlt/Ontology/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/Ontology/premises003
Reading DL http://www.w3.org/2002/03owlt/Ontology/premises003
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/Ontology/nonconclusions003
Reading DL http://www.w3.org/2002/03owlt/Ontology/nonconclusions003
Required level Lite Determined level Lite
Trying negative entailment <http://www.w3.org/2002/03owlt/cardinality/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/cardinality/premises007
Reading DL http://www.w3.org/2002/03owlt/cardinality/premises007
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/premises007#c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction>
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/cardinality/nonconclusions007
Reading DL http://www.w3.org/2002/03owlt/cardinality/nonconclusions007
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/cardinality/premises007#c> <http://www.w3.org/2002/07/owl#intersectionOf> _:B5673
Required level Full Determined level Full
Trying OWL for OWL <http://www.w3.org/2002/03owlt/Class/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/Class/conclusions001
Reading DL http://www.w3.org/2002/03owlt/Class/conclusions001
OWL ERROR: Non-class uri for description: <http://www.w3.org/2002/07/owl#Class>
Required level Full Determined level Full
Trying OWL for OWL <http://www.w3.org/2002/03owlt/I5.8/Manifest011#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/conclusions011
Reading DL http://www.w3.org/2002/03owlt/I5.8/conclusions011
Required level Lite Determined level Lite
Trying OWL for OWL <http://www.w3.org/2002/03owlt/imports/Manifest010#test>
Parsing http://www.w3.org/2002/03owlt/imports/conclusions010
Reading DL http://www.w3.org/2002/03owlt/imports/conclusions010
OWL ERROR: Unused triple <http://www.w3.org/2002/07/owl#imports> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.w3.org/2002/07/owl#Ontology>
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/DatatypeProperty/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001
Reading DL http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001
OWL ERROR: Non-class uri for description: <http://www.w3.org/2001/XMLSchema#integer>
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.1/Manifest010#test>
Parsing http://www.w3.org/2002/03owlt/I5.1/consistent010
Reading DL http://www.w3.org/2002/03owlt/I5.1/consistent010
OWL ERROR: Node found with multiple categories <http://www.w3.org/2002/03owlt/I5.1/consistent010#p> http://www.w3.org/2002/07/owl#ObjectProperty http://www.w3.org/2002/07/owl#DatatypeProperty
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/I5.26/consistent003
Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent003
OWL ERROR: When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent003B
No description at _:http://www.w3.org/2002/03owlt/I5.26/consistent003B
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/I5.26/consistent004
Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent004
OWL ERROR: When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent004B
When checking intersectionOf at _:http://www.w3.org/2002/03owlt/I5.26/consistent004B
Extra triple found _:http://www.w3.org/2002/03owlt/I5.26/consistent004B <http://www.w3.org/2002/07/owl#disjointWith> <http://www.w3.org/2002/03owlt/I5.26/consistent004#C>
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest007#test>
Parsing http://www.w3.org/2002/03owlt/I5.26/consistent007
Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent007
OWL ERROR: When checking Individual _:B5690
When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent007B
When checking intersectionOf at _:http://www.w3.org/2002/03owlt/I5.26/consistent007B
When checking sequence at _:B5685
When checking sequence at _:B5686
When checking description at _:B5687
When checking unionOf at _:B5687
When checking sequence at _:B5688
When checking description at _:http://www.w3.org/2002/03owlt/I5.26/consistent007B
No description at _:http://www.w3.org/2002/03owlt/I5.26/consistent007B
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.3/Manifest010#test>
Parsing http://www.w3.org/2002/03owlt/I5.3/consistent010
Reading DL http://www.w3.org/2002/03owlt/I5.3/consistent010
OWL ERROR: When checking Individual _:B5691
Illegal value for object property
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/consistent002
Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent002
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest012#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/consistent012
Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent012
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest013#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/consistent013
Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent013
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest014#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/consistent014
Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent014
OWL ERROR: Non-datatype uri for description: <http://example.org/user/data#type>
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest015#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/consistent015
Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent015
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/I5.8/Manifest016#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/consistent016
Reading DL http://www.w3.org/2002/03owlt/I5.8/consistent016
Required level Full Determined level Lite
FAILED to correctly identify http://www.w3.org/2002/03owlt/I5.8/consistent016
Trying consistent <http://www.w3.org/2002/03owlt/Thing/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/Thing/consistent001
Reading DL http://www.w3.org/2002/03owlt/Thing/consistent001
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001
Reading DL http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002
Reading DL http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002
OWL ERROR: Unused triple _:B5697 <http://www.w3.org/2002/07/owl#backwardCompatibleWith> <http://www.example.org/>
Required level Lite Determined level Full
FAILED to correctly identify http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest501#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent501
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent501
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest503#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent503
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent503
OWL ERROR: owl:unionOf construct
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest905#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent905
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent905
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest906#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent906
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent906
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/description-logic/Manifest907#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/consistent907
Reading DL http://www.w3.org/2002/03owlt/description-logic/consistent907
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest004#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent004
Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent004
OWL ERROR: When checking disjoints
Disjoints not a clique
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/disjointWith/Manifest006#test>
Parsing http://www.w3.org/2002/03owlt/disjointWith/consistent006
Reading DL http://www.w3.org/2002/03owlt/disjointWith/consistent006
OWL ERROR: When checking disjoints
Disjoints not a clique
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/imports/Manifest012#test>
Parsing http://www.w3.org/2002/03owlt/imports/consistent012
Reading DL http://www.w3.org/2002/03owlt/imports/consistent012
Required level Lite Determined level Lite
Trying consistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest205#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/consistent205
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/consistent205
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/I5.8/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/inconsistent001
Reading DL http://www.w3.org/2002/03owlt/I5.8/inconsistent001
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/I5.8/Manifest003#test>
Parsing http://www.w3.org/2002/03owlt/I5.8/inconsistent003
Reading DL http://www.w3.org/2002/03owlt/I5.8/inconsistent003
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/Thing/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/Thing/inconsistent002
Reading DL http://www.w3.org/2002/03owlt/Thing/inconsistent002
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest502#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent502
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent502
OWL ERROR: owl:EnumeratedClass construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest504#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent504
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent504
OWL ERROR: owl:unionOf construct
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest909#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent909
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent909
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/description-logic/Manifest910#test>
Parsing http://www.w3.org/2002/03owlt/description-logic/inconsistent910
Reading DL http://www.w3.org/2002/03owlt/description-logic/inconsistent910
OWL ERROR: Cardinality not 0 or 1
Required level DL Determined level DL
Trying inconsistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest203#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203
Required level Lite Determined level Lite
Trying inconsistent <http://www.w3.org/2002/03owlt/miscellaneous/Manifest204#test>
Parsing http://www.w3.org/2002/03owlt/miscellaneous/inconsistent204
Reading DL http://www.w3.org/2002/03owlt/miscellaneous/inconsistent204
Required level Lite Determined level Lite
Trying import entail <http://www.w3.org/2002/03owlt/imports/Manifest011#test>
Parsing http://www.w3.org/2002/03owlt/imports/premises011
Reading DL http://www.w3.org/2002/03owlt/imports/premises011
Reading DL http://www.w3.org/2002/03owlt/imports/support011-A
Required level Lite Determined level Lite
Parsing http://www.w3.org/2002/03owlt/imports/conclusions011
Reading DL http://www.w3.org/2002/03owlt/imports/conclusions011
Required level Lite Determined level Lite

Extra credit tests
Trying positive entailment <http://www.w3.org/2002/03owlt/extra-credit/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/extra-credit/premises002
Reading DL http://www.w3.org/2002/03owlt/extra-credit/premises002
OWL ERROR: When checking sequence at _:B6525
Untyped individual ID http://www.w3.org/2002/03owlt/extra-credit/premises002#d
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/extra-credit/conclusions002
Reading DL http://www.w3.org/2002/03owlt/extra-credit/conclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/extra-credit/premises002#N-times-M> <http://www.w3.org/2002/07/owl#sameAs> "345"^^http://www.w3.org/2001/XMLSchema#int
Required level Full Determined level Full
Trying negative entailment <http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002#test>
Parsing http://www.w3.org/2002/03owlt/someValuesFrom/premises002
Reading DL http://www.w3.org/2002/03owlt/someValuesFrom/premises002
OWL ERROR: When checking Individual <http://www.w3.org/2002/03owlt/someValuesFrom/premises002#i>
Illegal value for object property
Required level Full Determined level Full
Parsing http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002
Reading DL http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002
OWL ERROR: Unused triple <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#o> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/someValuesFrom/premises002#c>
Required level Full Determined level Full
Trying consistent <http://www.w3.org/2002/03owlt/I5.26/Manifest001#test>
Parsing http://www.w3.org/2002/03owlt/I5.26/consistent001
Reading DL http://www.w3.org/2002/03owlt/I5.26/consistent001
OWL ERROR: Unused triple _:B6535 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class>
Required level Full Determined level Full
saras65k 428> 
Received on Monday, 22 September 2003 10:28:51 GMT

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