on large and expressive ontologies in OWL 1 and OWL 2 is time-consuming and resource-
intensive. Moreover, due to the different reasoning algorithms and optimisation techniques
employed, each reasoner may be efficient for ontologies with different characteristics. In this
paper, we present R _2 O _2, a meta-reasoner that automatically combines, ranks and
selects from a number of state-of-the-art OWL 2 DL reasoners to achieve high efficiency …