More OWL test passers

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 ***