W3C home > Mailing lists > Public > public-rif-wg@w3.org > November 2007

accuracy check on OWL-DL reasoners

From: Chris Welty <cawelty@gmail.com>
Date: Wed, 07 Nov 2007 15:43:34 -0500
Message-ID: <47322376.3020105@gmail.com>
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org> 


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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:43 GMT