أرسل هذا في رسالة قصيرة: Extracting Modules from Ontologies: A Logic−based Approach