Large-scale Ontological Reasoning via Datalog