- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Wed, 16 Jul 2003 02:43:26 +0200
- To: "Dan Connolly <connolly" <connolly@w3.org>
- Cc: webont <www-webont-wg@w3.org>, Jim Hendler <hendler@cs.umd.edu>
> I plan to integrate responses in the thread into > our request for CR/PR... > http://www.w3.org/2001/sw/WebOnt/rqim.html > > I integrated some off-list feedback from Charles White (thanks!). > > Jos, thanks for the update. I wonder if you could help > me see the big picture here... > > > On Fri, 2003-07-11 at 20:17, Jos De_Roo wrote: > > Jim - we took the latest Test Manifest > > http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest.rdf > > which has 234 tests (not counting the 26 OBSOLETED test cases). > > Here's our summary (a "-" means that we don't run such tests): > > What I'd like to know is: does your Euler-based implementation > support OWL Lite Equality and Inequality? i.e. does > it pass all the tests in section 7.1 that relate to > owl:AllDifferent, owl:sameClassAs, owl:differentFrom, > owl:distinctMembers, owl:samePropertyAs, sameAs, > and the test in section 7.2.4. EquivalentTo? > > Similarly for the other rows in the > "Features and Implementations" table. > > I wonder if the manifest correlates tests to > the feature groups in that table... or if > it could be enhanced to without much work. Triggered by your interesting questions (and scraping together all the abstraction power that is left in my head) I only came to Yes, we have implemented all those features No, it is not (and will never be) complete Yes, we pass (prove) test X No, we don't pass (can't prove) test Y Triggered by the latter, I've done some rework to report the test results for *all* tests in 7.1 and 7.2; here's what we got as a result: <AllDifferent/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <FunctionalProperty/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <FunctionalProperty/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>. <FunctionalProperty/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>. <FunctionalProperty/Manifest004#test> <#proofFound> <#PositiveEntailmentTest>. <FunctionalProperty/Manifest005#test> <#noProofFound> <#PositiveEntailmentTest>. <DatatypeProperty/Manifest001#test> <#noProofFound> <#ConsistencyTest>. <InverseFunctionalProperty/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <InverseFunctionalProperty/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>. <InverseFunctionalProperty/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>. <InverseFunctionalProperty/Manifest004#test> <#proofFound> <#PositiveEntailmentTest>. <Nothing/Manifest001#test> <#proofFound> <#InconsistencyTest>. <Nothing/Manifest002#test> <#noProofFound> <#OWLforOWLTest>. <SymmetricProperty/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <TransitiveProperty/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <allValuesFrom/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <allValuesFrom/Manifest002#test> <#noProofFound> <#NegativeEntailmentTest>. <cardinality/Manifest001#test> <#noProofFound> <#PositiveEntailmentTest>. <cardinality/Manifest002#test> <#noProofFound> <#PositiveEntailmentTest>. <cardinality/Manifest003#test> <#noProofFound> <#PositiveEntailmentTest>. <cardinality/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>. <cardinality/Manifest006#test> <#noProofFound> <#PositiveEntailmentTest>. <cardinality/Manifest007#test> <#noProofFound> <#NegativeEntailmentTest>. <complementOf/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <differentFrom/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <differentFrom/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>. <disjointWith/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <disjointWith/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>. <distinctMembers/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <equivalentClass/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <equivalentClass/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>. <equivalentClass/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>. <equivalentClass/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>. <equivalentClass/Manifest005#test> <#noProofFound> <#NegativeEntailmentTest>. <equivalentClass/Manifest006#test> <#noProofFound> <#PositiveEntailmentTest>. <equivalentClass/Manifest007#test> <#noProofFound> <#PositiveEntailmentTest>. <equivalentClass/Manifest008#test> <#noProofFound> <#NegativeEntailmentTest>. <equivalentProperty/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <equivalentProperty/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>. <equivalentProperty/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>. <equivalentProperty/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>. <equivalentProperty/Manifest005#test> <#proofFound> <#PositiveEntailmentTest>. <equivalentProperty/Manifest006#test> <#proofFound> <#PositiveEntailmentTest>. <imports/Manifest001#test> <#proofFound> <#ImportEntailmentTest>. <imports/Manifest002#test> <#proofFound> <#NegativeEntailmentTest>. <imports/Manifest003#test> <#proofFound> <#ImportEntailmentTest>. <imports/Manifest004#test> <#noProofFound> <#ImportsLevelTest>. <imports/Manifest005#test> <#noProofFound> <#ImportsLevelTest>. <imports/Manifest006#test> <#noProofFound> <#ImportsLevelTest>. <imports/Manifest007#test> <#noProofFound> <#ImportsLevelTest>. <imports/Manifest008#test> <#noProofFound> <#ImportsLevelTest>. <imports/Manifest010#test> <#proofFound> <#OWLforOWLTest>. <inverseOf/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <intersectionOf/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <maxCardinality/Manifest001#test> <#proofFound> <#InconsistencyTest>. <maxCardinality/Manifest002#test> <#proofFound> <#InconsistencyTest>. <oneOf/Manifest001#test> <#noProofFound> <#ConsistencyTest>. <oneOf/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>. <oneOf/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>. <oneOf/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>. <sameAs/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <someValuesFrom/Manifest001#test> <#noProofFound> <#PositiveEntailmentTest>. <someValuesFrom/Manifest002#test> <#noProofFound> <#NegativeEntailmentTest>. <unionOf/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <unionOf/Manifest002#test> <#proofFound> <#PositiveEntailmentTest>. <I4.6/Manifest003#test> <#proofFound> <#PositiveEntailmentTest>. <I4.6/Manifest004#test> <#noProofFound> <#NegativeEntailmentTest>. <I4.6/Manifest005#test> <#noProofFound> <#NegativeEntailmentTest>. <I5.1/Manifest001#test> <#proofFound> <#PositiveEntailmentTest>. <I5.1/Manifest010#test> <#noProofFound> <#ConsistencyTest>. <I5.2/Manifest001#test> <#noProofFound> <#ConsistencyTest>. <I5.2/Manifest002#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.2/Manifest003#test> <#noProofFound> <#ConsistencyTest>. <I5.2/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.2/Manifest005#test> <#noProofFound> <#ConsistencyTest>. <I5.2/Manifest006#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.2/Manifest010#test> <#noProofFound> <#ConsistencyTest>. <I5.2/Manifest011#test> <#noProofFound> <#ConsistencyTest>. <I5.3/Manifest005#test> <#noProofFound> <#ConsistencyTest>. <I5.3/Manifest006#test> <#noProofFound> <#ConsistencyTest>. <I5.3/Manifest007#test> <#noProofFound> <#ConsistencyTest>. <I5.3/Manifest008#test> <#noProofFound> <#ConsistencyTest>. <I5.3/Manifest009#test> <#noProofFound> <#ConsistencyTest>. <I5.3/Manifest010#test> <#noProofFound> <#ConsistencyTest>. <I5.3/Manifest011#test> <#noProofFound> <#ConsistencyTest>. <I5.5/Manifest001#test> <#proofFound> <#OWLforOWLTest>. <I5.5/Manifest002#test> <#proofFound> <#OWLforOWLTest>. <I5.5/Manifest003#test> <#proofFound> <#InconsistencyTest>. <I5.5/Manifest004#test> <#proofFound> <#InconsistencyTest>. <I5.8/Manifest001#test> <#noProofFound> <#InconsistencyTest>. <I5.8/Manifest002#test> <#noProofFound> <#ConsistencyTest>. <I5.8/Manifest003#test> <#noProofFound> <#InconsistencyTest>. <I5.8/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.8/Manifest005#test> <#noProofFound> <#NegativeEntailmentTest>. <I5.8/Manifest006#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.8/Manifest007#test> <#noProofFound> <#NegativeEntailmentTest>. <I5.8/Manifest008#test> <#proofFound> <#PositiveEntailmentTest>. <I5.8/Manifest009#test> <#proofFound> <#PositiveEntailmentTest>. <I5.8/Manifest010#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.8/Manifest011#test> <#proofFound> <#OWLforOWLTest>. <I5.8/Manifest012#test> <#noProofFound> <#ConsistencyTest>. <I5.24/Manifest001#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.24/Manifest002#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.24/Manifest003#test> <#noProofFound> <#PositiveEntailmentTest>. <I5.24/Manifest004#test> <#noProofFound> <#PositiveEntailmentTest>. > (Sandro, have you made any progress on > reporting test results?) I really hope to get some inspiration from his results (as I haven't made much progress the last 6 months...) -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 15 July 2003 20:43:39 UTC