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

Re: accuracy check on OWL-DL reasoners

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 7 Nov 2007 23:09:42 +0000
Message-Id: <12A1252D-EFA4-49B8-BEAD-E25DDF5C49C1@cs.man.ac.uk>
Cc: kifer@cs.sunysb.edu (Michael Kifer), Chris Welty <cawelty@gmail.com>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
To: Bijan Parsia <bparsia@cs.man.ac.uk>

On Nov 7, 2007, at 9:51 PM, Bijan Parsia wrote:

> On Nov 7, 2007, at 9:34 PM, Michael Kifer wrote:
>
>>
>> It may be now, but it was not so a year ago. My info was  
>> outdated.  I see
>> that Racer has announced an upcoming complete version, and Pellet has
>> become complete some 6 months ago.
>
> This is not true. Pellet was complete almost in 1.3 beta, so sept  
> 2005.
[snip]
Bit of a garble...that "almost" was from an earlier version of the  
sentence..."almost 2 years ago" when I was guessimating :)

[snip]

> Pellet and Racer over a year ago (before OWLED 2006 in Nov 2006)  
> both became complete SROIQ reasoners (i.e., OWL 1.1).

And a major garble....that should be FaCT++ not Racer.

blush!

Cheers,
Bijan.
Received on Thursday, 8 November 2007 00:04:41 GMT

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