Information Systems Group

― Knowledge Representation and Reasoning

ISG Tools

MORe Reasoner

Overview

MORe is a prototypical reasoner for classification of ontologies written in the ontology language OWL 2. Given an OWL file, MORe outputs the classification hierarchy entailed by the terminological part of the hierarchy.

MORe integrates HermiT (a fully-fledged OWL 2 reasoner) 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 HermiT performs as few computations as possible, and the bulk of the computation is delegated to the more efficient, profile specific, ELK reasoner.

MORe is open-source and released under GNU Lesser GPL. MORE is still under active development, but an alpha version of MORe with a command line interface can be downloaded from here.



Download

Using MORe

MORe is open-source and released under GNU Lesser GPL. MORe is still under active development, but an alpha version of MORe is already available as a Protege plugin

Researchers

Ana Armas, Bernardo Cuenca Grau, and Ian Horrocks

Key Publications

Ana Armas Romero, Bernardo Cuenca Grau, and Ian Horrocks.
MORe: Modular Combination of OWL Reasoners for Ontology Classification.
In Proceedings of the 11th International Semantic Web Conference (ISWC 2012). Springer. 2012.
[ BibTeX-Entry | Pdf ]

Ana Armas Romero, Bernardo Cuenca Grau, and Ian Horrocks.
Modular Combination of Reasoners for Ontology Classification.
In Proc. of the 2012 Description Logic Workshop (DL 2012), volume 846 of CEUR (http://ceur-ws.org/), 2012.
[ BibTeX-Entry | Pdf ]