Ana Armas, 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), Boston, US, November, 2012. [PDF(local)], [PDF(online)]

Abstract:
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.

BibTex:

    @InProceedings { iswc2012paper-research-05,
      author = { Ana Armas, Bernardo Cuenca Grau and Ian Horrocks },
      title = { MORe: Modular Combination of OWL Reasoners for Ontology Classification },
      booktitle = { Proceedings of the 11th International Semantic Web Conference (ISWC 2012) },
      address = {Boston, US},
      month = { November },
      year = { 2012 },
    }

Back