[DL] [ANN] MORe reasoner version 0.1.5
ernesto.jimenez.ruiz at gmail.com
Mon Jul 15 18:32:47 CEST 2013
[Apologies for cross-posting]
We are happy to announce the new version 0.1.5 of MORe reasoner . MORe
is open-source and released under GNU Lesser GPL .
MORe is still under active development. The current distribution of MORe
integrates HermiT  and JFact , as fully-fledged OWL 2 reasoners, with
ELK  (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  for details.
The new release added new functionalities and contains several bug fixes
(see readme file for more details ).
The MORe users' discussion group  is available for discussion,
questions, comments, and bug reports.
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road, Oxford OX1 3QD, UK
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl