RE: accuracy check on OWL-DL reasoners

I'm pretty sure that in the current PR-implementation-world, the RIF-PR
success criteria of widespread adoption will require a reasonable subset
of typical PR engine features (Negation, Equality, etc) ie not too low a
bar!

Cheers

Paul Vincent
TIBCO | ETG/Business Rules 
 
> -----Original Message-----
> From: public-rif-wg-request@w3.org
[mailto:public-rif-wg-request@w3.org]
> On Behalf Of Michael Kifer
> Sent: 07 November 2007 21:34
> To: Chris Welty
> Cc: Public-Rif-Wg (E-mail)
> Subject: 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 23:46:12 UTC