Modular Combination of Reasoners for Ontology Classification - Romero, A; Grau, B; Horrocks, I (Proc. of DL, 2012)