- From: Dan Connolly <connolly@w3.org>
- Date: 15 Jul 2003 16:43:40 -0500
- To: Jos De_Roo <jos.deroo@agfa.com>
- Cc: "Jim Hendler <hendler" <hendler@cs.umd.edu>, webont <www-webont-wg@w3.org>
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. (Sandro, have you made any progress on reporting test results?) -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ office: tel:+1-617-395-0241 (new VoIP phone Mar 2003) mobile: tel:+1-816-616-6576 mobile: mailto:connolly+pager@w3.org
Received on Tuesday, 15 July 2003 17:43:43 UTC