[Attempto] Pellet vs RACE

[Tobias Kuhn]

Hi George,

There are several reasons for the fact that AceWiki uses Pellet instead of RACE (but we have some 
plans to enable the use of RACE within AceWiki in the future).

First of all, RACE does not have a Java interface at the moment, which makes it harder to integrate 
it into AceWiki.

Furthermore, performance would (potentially) suffer when using a larger subset of ACE (as the one 
supported by RACE) than the OWL subset (as supported by Pellet). I agree that it would be desirable 
that AceWiki can do reasoning within a larger subset of ACE than the one supported at the moment. 
But already now, AceWiki can get quite slow when the knowledge base gets large. And switching to 
RACE would enlarge this problem.

Another problem is that RACE does not provide (at the moment) an API for retrieving the set of 
instances for a given class, or for extracting the class hierarchy.

Long answer short: AceWiki could in principle use RACE but it uses Pellet at the moment because of 
performance and interface reasons.


Cheers,
Tobias


George Herson wrote:
> Hi all,
> 
> Why does AceWiki use the OWL-based Pellet reasoner instead of RACE?    
> OWL's expressiveness is a subset of ACE's.  The more of AceWiki's 
> content that can be used by the reasoner the better, i think.
> 
> "The OWL reasoner Pellet <http://clarkparsia.com/pellet> is integrated 
> into AceWiki. It ensures that the content of the wiki is always 
> consistent. The reasoner is also used to infer the class-hierarchies and 
> class-memberships, and the results are displayed in ACE again. 
> Furthermore, questions can be added to the wiki articles. Those 
> questions are evaluated by the reasoner [...]" -- 
> http://attempto.ifi.uzh.ch/acewiki/
> 
> thank you,
> George
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto