Pellet is a complete owl lite consistency checker.

It is my considered opinion (and even more importantly, Bijan 
Parsia's considered opinion) that PELLET [1] is indeed a complete OWL 
Lite consistency checker.

At 1:18 PM -0400 9/15/03, Sandro Hawke wrote:
>ACTION: Jim Hendler - Report PELLET status re complete OWL Lite
>consistency checkers
>CONTINUED (nearly done)

This action is now DONE.

[1] PELLET: http://www.mindswap.org/2003/pellet/index.shtml

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