发送短信: Extracting Modules from Ontologies: A Logic−based Approach