Re: [ANN] MORe reasoner version 0.1.5

Michel,

There seems to be a Protege plugin available for download at 
http://code.google.com/p/more-reasoner/downloads/list

I will try running MORe with the Genomic CDS ontology to see how it compares with TrOWL. Looking forward to meet you all and discuss these exciting new developments in the OWL world at http://ore2013.cs.manchester.ac.uk/ next week, by the way!

 - Matthias




From: Michel Dumontier 
Sent: Monday, July 15, 2013 7:24 PM
To: Ernesto Jimenez-Ruiz 
Cc: HCLS 
Subject: Re: [ANN] MORe reasoner version 0.1.5


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