Modular Combination of Reasoners for Ontology Classification (Proc. of DL, 2012)

(untitled) - Romero, A; Grau, B; Horrocks, I