Data and Knowledge Group

― Knowledge Representation and Reasoning

MORe Reasoner

Overview

MORe is a prototypical reasoner for classification of ontologies written in the ontology language OWL 2. Given an OWL file, MORe computes 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) and RDFox (a datalog reasoner) in a modular way. In particular, MORe exploits module extraction techniques to identify a subsets of the ontology that can be completely classified using ELK or RDFox.

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 reasoners, ELK and RDFox.

MORe is open-source and released under an academic license. MORE is still under active development, but an alpha version of MORe can be downloaded from here.

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 ]