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

TEST: update of testresults

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sun, 20 Jul 2003 20:16:03 +0200
To: www-webont-wg@w3.org
Message-ID: <OF9FB0C2F4.7619AE7A-ONC1256D69.0063C058-C1256D69.00645AAC@agfa.be>

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 GMT

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