accuracy check on OWL-DL reasoners

At the f2f several people claimed there were no complete OWL-DL reasoners.

I am sitting with Aditya Kalyanpur who is one of the Pellet implementors and he 
says that this is false.  Pellet is a complete implementation of an OWL-DL 
reasoner, and he believes Racer-Pro is as well.

Perhaps I misunderstood the comment, so whoever made it please clarify.

-Chris

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty

Received on Wednesday, 7 November 2007 20:44:04 UTC