Text this: Extracting Modules from Ontologies: A Logic−based Approach