- From: Michel Dumontier <michel.dumontier@gmail.com>
- Date: Mon, 15 Jul 2013 13:24:53 -0400
- To: Ernesto Jimenez-Ruiz <ernesto.jimenez.ruiz@gmail.com>
- Cc: HCLS <public-semweb-lifesci@w3.org>
- Message-ID: <CALcEXf6NWz_xoznDi=ndz9YLfFUtB2PjVBnixrfVUHdcPAc9Dg@mail.gmail.com>
Ernesto, Have you made your reasoner available for download as a Protege plugin? m. On Mon, Jul 15, 2013 at 12:31 PM, Ernesto Jimenez-Ruiz < ernesto.jimenez.ruiz@gmail.com> wrote: > [Apologies for cross-posting] > > Dear all, > > We are happy to announce the new version 0.1.5 of MORe reasoner [1]. MORe > is open-source and released under GNU Lesser GPL [5]. > > MORe is still under active development. The current distribution of MORe > integrates HermiT [2] and JFact [3], as fully-fledged OWL 2 reasoners, with > ELK [4] (a reasoner for the OWL 2 EL profile) in a modular way. In > particular, MORe exploits module extraction techniques to identify a subset > of the ontology that can be completely classified using ELK. > > MORe is designed in such a way that the fully-fledged (and slower) > reasoner (i.e., HermiT or JFact) performs as few computations as possible, > and the bulk of the computation is delegated to the more efficient, profile > specific, ELK reasoner. > > MORe, with the standalone distribution, can be used from the command line > or integrated in other OWL API based applications. Additionally, MORe is > also distributed as a Protege plugin. Snow Owl also includes MORe as a > reasoner option. See [1] for details. > > The new release added new functionalities and contains several bug fixes > (see readme file for more details [6]). > > The MORe users' discussion group [7] is available for discussion, > questions, comments, and bug reports. > > Best regards, > MORe Team > > > [1] http://code.google.com/p/more-reasoner/ > [2] http://www.hermit-reasoner.com/ > [3] http://jfact.sourceforge.net/ > [4] http://code.google.com/p/elk-reasoner/ > [5] http://www.gnu.org/licenses/lgpl.html > [6] https://more-reasoner.googlecode.com/svn/trunk/resources/readme.txt > [7] https://groups.google.com/forum/#!forum/more-reasoner-users > > > -- > Ernesto Jiménez-Ruiz > Research Assistant > Department of Computer Science > University of Oxford > Wolfson Building, Parks Road, Oxford OX1 3QD, UK > > http://krono.act.uji.es/people/Ernesto > http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/ > > > -- Michel Dumontier Associate Professor of Bioinformatics, Carleton University Chair, W3C Semantic Web for Health Care and the Life Sciences Interest Group http://dumontierlab.com
Received on Monday, 15 July 2013 17:25:40 UTC