Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning (Proceedings of the Twenty−Eigth AAAI Conference on Artificial Intelligence (AAAI−2014), 2014)

(untitled) - Kaminski, M; Nenov, Y; Grau, B