[Attempto] Interface for Protege

[Dilvan Moreira]

   Thanks all for your answers.

   So, that would be the state of ACE tools (please correct me):

   1. APE - rock solid (APE webserver ???)
   2. RACE - not available, but Beta
   3. AceRules - Alpha
   4. AceWiki - Alpha
   5. ACE View - Protege plugin - Beta
   6. OWL verbalizer - ???
   7. ACE Editor - ???

   Alpha would be not usable (just demonstration).

>As Kaarel already wrote RACE is not an OWL/SWRL reasoner, but a full FOL
reasoner. I

   But wouldn't a FOL reasoner be more general then a DL one (in the sense
that it will compute any DL construct)? So if I feed OWL/SWRL assertions
(remembering that OWL+SWRL is beyond DL) to RACE wouldn't it return
meaningful answers/assertions?

   By the way, APE and RACE are written in Prolog, do they run in some
Prolog that runs on the Java JVM? For instance, GNU Prolog fo Java?

   Cheers,
--
Dilvan de Abreu Moreira, Ph.D.     dilvan at gmail.com
http://java.icmc.usp.br
Warning: I use a spam filter, some emails sent to me CAN be lost!


On Sat, Oct 16, 2010 at 11:22 AM, Norbert E. Fuchs <fuchs at ifi.uzh.ch> wrote:

>
> On 15 Oct 2010, at 22:26, Dilvan Moreira wrote:
>
> >    We are working on an interface to edit SWRL rules in Web-Protege (in
> collaboration with BMIR-Stanford University) for Autistic Phenotypes and I
> wanted to include your ACE View in it. I am now trying to understand the ACM
> concepts and tools. I loaded your Protege 4.0 tab but Protege 4.0 is a
> dead-end and my autism ontology crashes it. Don't you have a new version of
> your tab for Protege 4.1x? If not, do you have a repository where I can get
> the source code for the 4.0 version?
> >
> >    Also, you have a reasoner (RACE) and a rule system (AceRules) for ACE.
> How scalable are they? That is a problem for Pellet, it isn't scalable
> enough and it works just in "batch mode". I was hoping that your reasoner
> would be more scalable, since SWI-Prolog has support for 300M triple stores.
> By the way, where can I find the source code for RACE and AceRules (are they
> open source?)?
>
> Dilvan
>
> Kaarel answered already for ACE View and Tobias for AceRules. Here is my
> answer for RACE.
>
> As Kaarel already wrote RACE is not an OWL/SWRL reasoner, but a full FOL
> reasoner. I am currently revising RACE – that does forward reasoning – to
> use the RETE algorithm for increased speed and scalability. RACE will
> hopefully be publicly available by the end of the year.
>
> Regards.
>
>   --- nef
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20101018/1a07aff0/attachment.htm>