[Attempto] Pellet vs RACE

[George Herson]

Tobias,

Regarding AceWiki slowing down when the subset of ACE supported increases, there must be cost-effective heuristics we can use, like sectioning the data to quickly find the subset most likely useful with a given problem?  (Others?)  Also, we can use MySQL etc to store large fact bases (http://tinyurl.com/SQLfasterthanProlog).  Do you agree?

thanks,
George

----- Original Message ----
From: Tobias Kuhn <t.kuhn at gmx.ch>
To: George Herson <gherson at snet.net>
Cc: attempto at lists.ifi.uzh.ch
Sent: Mon, November 30, 2009 6:33:56 AM
Subject: Re: [Attempto] Pellet vs RACE

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