Extracting Modules from Ontologies: A Logic−based Approach - Grau, B; Horrocks, I; Kazakov, Y; Sattler, U (2009)