Ontology Module Extraction via Datalog Reasoning