<div dir="ltr">[Apologies for cross-posting]<br><br>Dear all,<br><br>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].<br><br>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.<br>
<br>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.<br>
<br>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.<br>
<br>The new release added new functionalities and contains several bug fixes (see readme file for more details [6]).<br><br>The MORe users' discussion group [7] is available for discussion, questions, comments, and bug reports.<br>
<br>Best regards,<br>MORe Team<br><br><br>[1] <a href="http://code.google.com/p/more-reasoner/">http://code.google.com/p/more-reasoner/</a><br>[2] <a href="http://www.hermit-reasoner.com/">http://www.hermit-reasoner.com/</a><br>
[3] <a href="http://jfact.sourceforge.net/">http://jfact.sourceforge.net/</a><br>[4] <a href="http://code.google.com/p/elk-reasoner/">http://code.google.com/p/elk-reasoner/</a><br>[5] <a href="http://www.gnu.org/licenses/lgpl.html">http://www.gnu.org/licenses/lgpl.html</a><br>
[6] <a href="https://more-reasoner.googlecode.com/svn/trunk/resources/readme.txt">https://more-reasoner.googlecode.com/svn/trunk/resources/readme.txt</a><br>[7] <a href="https://groups.google.com/forum/#!forum/more-reasoner-users">https://groups.google.com/forum/#!forum/more-reasoner-users</a><br clear="all">
<br>-- <br>Ernesto Jiménez-Ruiz<br>Research Assistant<br>
Department of Computer Science<br>
University of Oxford<br>Wolfson Building, Parks Road, Oxford OX1 3QD, UK<br><br><a href="http://krono.act.uji.es/people/Ernesto" target="_blank">http://krono.act.uji.es/people/Ernesto</a><br><a href="http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/" target="_blank">http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/</a><br>
<br><br>
</div>