- From: Ernesto Jimenez-Ruiz <ernesto.jimenez.ruiz@gmail.com>
- Date: Mon, 15 Jul 2013 17:31:27 +0100
- To: OWL <public-owl-dev@w3.org>
- Message-ID: <CA+VyRy-DwTuOkH8b-pqngnh-WKU=w0F_B6Dk5qx6Xt0JuehLkw@mail.gmail.com>
[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/
Received on Monday, 15 July 2013 16:31:55 UTC