Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL - Qureshi, Haya Majid (arXiv.org)