Module Extraction in Expressive Ontology Languages via Datalog Reasoning