Thanks all for your answers. So, that would be the state of ACE tools (please correct me): <ol><li>APE - rock solid (APE webserver ???) </li><li>RACE - not available, but Beta</li><li>AceRules - Alpha</li> <li>AceWiki - Alpha </li><li>ACE View - Protege plugin - Beta </li><li>OWL verbalizer - ???</li><li>ACE Editor - ??? </li></ol> 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. <a href="mailto:dilvan@gmail.com">dilvan@gmail.com</a> <a href="http://java.icmc.usp.br">http://java.icmc.usp.br</a> Warning: I use a spam filter, some emails sent to me CAN be lost! <div class="gmail_quote">On Sat, Oct 16, 2010 at 11:22 AM, Norbert E. Fuchs <<a href="mailto:fuchs@ifi.uzh.ch">fuchs@ifi.uzh.ch</a>> wrote: <blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"> <div class="im"> 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?)? </div>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</blockquote></div>