Re: More OWL test passers

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

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

                      Dan Connolly                                                                                                     
                      <>        To:       Jim Hendler <>                                              
                      Sent by:                 cc:       webont <>                                                 
                      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
> 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
> it currently only passes 7 tests, but we expect a lot more during the
> CR period
>  -JH
> --
> Professor James Hendler              
> 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)
> ***
Dan Connolly, W3C

Received on Friday, 18 July 2003 09:48:20 UTC