MORe: a Modular OWL Reasoner for Ontology Classification.
Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz · 2013
MORe exploits module extraction techniques to divide the workload of ontology classification between two reasoners: a reasoner for the lightweight profile EL of OWL 2, and a fully fledged OWL 2 reasoner. This division is carried out in such a way that the bulk of the workload is assigned, as much as possible, to the OWL 2 EL reasoner, in order to exploit the more efficient classification techniques specific to this profile.