Zaslat SMS: Extracting Modules from Ontologies: A Logic−based Approach