Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus: Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. Description Logics 2016