Ahmetaj, et al.. Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. 2016.