- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Sun, 20 Jul 2003 20:16:03 +0200
- To: www-webont-wg@w3.org
This is another update of our testresults with euler for
http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest
We now assume that we PASS a test when
a proof is found for a PositiveEntailmentTest
no proof is found for a NegativeEntailmentTest seen as a
PositiveEntailmentTest
a proof is found for an InconsistencyTest
no proof is found for a ConsistencyTest seen as an InconsistencyTest
a proof is found for an ImportEntailmentTest
a proof is found for an OWLforOWLTest
Here's a summary:
level tests PASS FAIL
---------------------------------------------------------------
PositiveEntailmentTest Lite 25 15 10
DL 19 3 16
Full 36 27 9
NegativeEntailmentTest Lite 5 5 0
DL 4 4 0
Full 5 4 1
InconsistencyTest Lite 28 1 27
DL 39 3 36
Full 4 4 0
ConsistencyTest Lite 20 20 0
DL 25 24 1
Full 7 7 0
ImportEntailmentTest Lite 0 0 0
DL 0 0 0
Full 2 2 0
ImportsLevelTest Lite 3 0 3
DL 1 0 1
Full 1 0 1
OWLforOWLTest Lite 1 1 0
DL 1 0 1
Full 3 3 0
NotOwlFeatureTest Lite 5 0 5
DL 0 0 0
Full 0 0 0
--- --- ---
234 123 111
W.r.t. the table in http://www.w3.org/2001/sw/WebOnt/rqim.html
everthing is still partial, because no category has a full PASS.
The detailed results are:
<http://www.w3.org/2002/03owlt/AllDifferent/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/DatatypeProperty/Manifest001#test>
<#noProofFound_Full_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I3.2/Manifest001#test>
<#noProofFound_Lite_NotOwlFeatureTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I3.2/Manifest002#test>
<#noProofFound_Lite_NotOwlFeatureTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I3.2/Manifest003#test>
<#noProofFound_Lite_NotOwlFeatureTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I3.4/Manifest001#test>
<#noProofFound_Lite_NotOwlFeatureTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I4.1/Manifest001#test>
<#noProofFound_Lite_NotOwlFeatureTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I4.6/Manifest003#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I4.6/Manifest004#test>
<#noProofFound_Full_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I4.6/Manifest005#test>
<#noProofFound_Lite_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.1/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.1/Manifest010#test>
<#noProofFound_Full_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.2/Manifest001#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.2/Manifest002#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.2/Manifest003#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.2/Manifest004#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.2/Manifest005#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.2/Manifest006#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.2/Manifest010#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.2/Manifest011#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.3/Manifest005#test>
<#noProofFound_Full_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.3/Manifest006#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.3/Manifest007#test>
<#noProofFound_Full_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.3/Manifest008#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.3/Manifest009#test>
<#noProofFound_Full_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.3/Manifest010#test>
<#noProofFound_Full_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.3/Manifest011#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.5/Manifest001#test>
<#proofFound_Full_OWLforOWLTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.5/Manifest002#test>
<#proofFound_Full_OWLforOWLTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.5/Manifest003#test>
<#proofFound_Full_InconsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.5/Manifest004#test>
<#proofFound_Full_InconsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest001#test>
<#proofFound_DL_InconsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest002#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest003#test>
<#proofFound_DL_InconsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest004#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest005#test>
<#noProofFound_DL_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest006#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest007#test>
<#noProofFound_Lite_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest008#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest009#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest010#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest011#test>
<#proofFound_Lite_OWLforOWLTest> <#PASS>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest012#test>
<#proofFound_DL_ConsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.24/Manifest001#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.24/Manifest002#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.24/Manifest003#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/I5.24/Manifest004#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/Nothing/Manifest001#test>
<#proofFound_Lite_InconsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/Nothing/Manifest002#test>
<#noProofFound_DL_OWLforOWLTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002#test>
<#noProofFound_Lite_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/cardinality/Manifest001#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/cardinality/Manifest002#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/cardinality/Manifest003#test>
<#proofFound_DL_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/cardinality/Manifest004#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/cardinality/Manifest006#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/cardinality/Manifest007#test>
<#noProofFound_Full_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/complementOf/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest001#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest002#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest003#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest004#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest005#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest006#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest007#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest008#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest009#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest010#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest011#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest012#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest013#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest014#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest015#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest016#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest017#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest018#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest019#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest020#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest021#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest022#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest023#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest024#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest025#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest026#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest027#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest028#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest029#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest030#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest031#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest032#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest033#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest034#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest101#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest102#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest103#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest104#test>
<#proofFound_DL_InconsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest105#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest106#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest107#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest108#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest109#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest110#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest111#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest201#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest202#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest203#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest204#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest205#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest206#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest207#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest208#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest501#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest502#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest503#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest504#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest601#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest602#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest603#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest604#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest605#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest606#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest608#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest609#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest610#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest611#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest612#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest613#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest614#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest615#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest616#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest617#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest623#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest624#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest625#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest626#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest627#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest628#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest629#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest630#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest631#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest632#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest633#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest634#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest641#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest642#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest643#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest644#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest646#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest650#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest661#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest662#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest663#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest664#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest665#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest666#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest667#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest668#test>
<#noProofFound_Lite_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest901#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest902#test>
<#noProofFound_DL_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest903#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest904#test>
<#noProofFound_DL_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest905#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest906#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest907#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest908#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest909#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest910#test>
<#noProofFound_DL_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/differentFrom/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/differentFrom/Manifest002#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test>
<#proofFound_DL_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/distinctMembers/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest001#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest002#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest003#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest004#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest005#test>
<#noProofFound_Lite_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest006#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest007#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest008#test>
<#noProofFound_DL_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003#test>
<#proofFound_Lite_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/extra-credit/Manifest002#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/extra-credit/Manifest003#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/extra-credit/Manifest004#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/imports/Manifest001#test>
<#proofFound_Full_ImportEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/imports/Manifest002#test>
<#proofFound_Full_NegativeEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/imports/Manifest003#test>
<#proofFound_Full_ImportEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/imports/Manifest004#test>
<#noProofFound_Full_ImportsLevelTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/imports/Manifest005#test>
<#noProofFound_DL_ImportsLevelTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/imports/Manifest006#test>
<#noProofFound_Lite_ImportsLevelTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/imports/Manifest007#test>
<#noProofFound_Lite_ImportsLevelTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/imports/Manifest008#test>
<#noProofFound_Lite_ImportsLevelTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/imports/Manifest010#test>
<#proofFound_Full_OWLforOWLTest> <#PASS>.
<http://www.w3.org/2002/03owlt/intersectionOf/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/inverseOf/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/maxCardinality/Manifest001#test>
<#proofFound_Full_InconsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/maxCardinality/Manifest002#test>
<#proofFound_Full_InconsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest001#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest002#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest102#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest103#test>
<#noProofFound_DL_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest201#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest202#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest203#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest204#test>
<#noProofFound_Lite_InconsistencyTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest205#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest301#test>
<#noProofFound_Full_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest302#test>
<#noProofFound_Lite_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest303#test>
<#noProofFound_Lite_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/oneOf/Manifest001#test>
<#noProofFound_Full_ConsistencyTest> <#PASS>.
<http://www.w3.org/2002/03owlt/oneOf/Manifest002#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/oneOf/Manifest003#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/oneOf/Manifest004#test>
<#noProofFound_DL_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/sameAs/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001#test>
<#noProofFound_Full_PositiveEntailmentTest> <#FAIL>.
<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002#test>
<#noProofFound_Full_NegativeEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/unionOf/Manifest001#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
<http://www.w3.org/2002/03owlt/unionOf/Manifest002#test>
<#proofFound_Full_PositiveEntailmentTest> <#PASS>.
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 20 July 2003 14:21:11 UTC