Re: accuracy check on OWL-DL reasoners

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.