Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning - Kaminski, M; Nenov, Y; Grau, B (2014)