[ANN] MORe reasoner version 0.1.5

[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/