Re: accuracy check on OWL-DL reasoners

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. But my point is still valid. It took
quite a few years to achieve a complete implementation after the official
release of OWL.  Another important point is that without the OWL
specification there would probably be little incentive to go all the way
and implement those less critical aspects of OWL.

So, if we set the bar too low for RIF then there will be no incentive to
work on complete implementations of important features (like equality)
either.


	--michael  


> 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 21:34:40 UTC