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

Re: More OWL test passers

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Fri, 18 Jul 2003 15:44:24 +0200
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: Jim Hendler <hendler@cs.umd.edu>, webont <www-webont-wg@w3.org>
Message-ID: <OFF127845F.AA056563-ONC1256D67.004A28E4-C1256D67.004B7A4E@agfa.be>

Dan - I did my tests again as I realized that some tests
maybe hadn't had enough time to run (the step count was
limited to 200000, which is half a second or so) and
now with a limit in the range of halve a minute per test
we have 64 tests that pass (instead of the 51).

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

PS combined with PELLET that would be well over 150 I guess

                      Dan Connolly                                                                                                     
                      <connolly@w3.org>        To:       Jim Hendler <hendler@cs.umd.edu>                                              
                      Sent by:                 cc:       webont <www-webont-wg@w3.org>                                                 
                      www-webont-wg-req        Subject:  Re: More OWL test passers                                                     
                      2003-07-17 08:24                                                                                                 

$Revision: 1.19 $ of $Date: 2003/07/17 18:20:54 $

incorporates this feedback...

On Thu, 2003-07-17 at 11:40, Jim Hendler wrote:
> The PELLET OWL Lite Engine (Univ of Md) keeps a list of how it does at
> http://www.mindswap.org/2003/pellet/test.shtml
> Cyrrently it passes 79 approved tests and 21 proposed tests.
> Pellet (which we hope will somday stand for "passes every little Lite
> Entailment Test") is an OWL reasoner implemented from scratch based on
> our spec and papers which have appeared in the DL and KR conferences.
> The OWLLisaKB system is a LISP-based OWL Lite  using a rule-based
> approach.  The results for this system are at
> http://www.mindswap.org/~katz/2003/07/passed-testcases.html
> it currently only passes 7 tests, but we expect a lot more during the
> CR period
>  -JH
> --
> Professor James Hendler                        hendler@cs.umd.edu
> Director, Semantic Web and Agent Technologies         301-405-2696
> Maryland Information and Network Dynamics Lab.     301-405-6707 (Fax)
> Univ of Maryland, College Park, MD 20742     *** 240-277-3388 (Cell)
> http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER
> ***
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 18 July 2003 09:48:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:47 UTC