Text this: Ontology module extraction via datalog reasoning