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