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.


Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
Received on Wednesday, 7 November 2007 20:44:04 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:48 UTC