Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Browse the full AAAI paper archive.