Classification is a fundamental reasoning task in ontology design, and there is currently a wide range of reasoners highly optimised for classification of OWL 2 ontologies. There are also several reasoners that are complete for restricted fragments of OWL 2, such as the OWL 2 EL profile. These reasoners are much more efficient than fully-fledged OWL 2 reasoners, but they are not complete for ontologies containing (even if just a few) axioms outside the relevant fragment. In this paper, we propose a novel classification technique that combines an OWL 2 reasoner and an efficient reasoner for a given fragment in such a way that the bulk of the workload is assigned to the latter. Reasoners are combined in a black-box modular manner, and the specifics of their implementation (and even of their reasoning technique) are irrelevant to our approach. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Armas Romero, A., Cuenca Grau, B., & Horrocks, I. (2012). MORe: Modular combination of OWL reasoners for ontology classification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7649 LNCS, pp. 1–16). Springer Verlag. https://doi.org/10.1007/978-3-642-35176-1_1
Mendeley helps you to discover research relevant for your work.