Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning (Association for the Advancement of Artificial Intelligence, 2014)

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