Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies - Kaminski, Mark; Nenov, Yavor; Cuenca Grau, Bernardo (Web Reasoning and Rule Systems, 2014)
Keywords: Conjunctive Query; Dependency Graph; Description Logic; Disjunctive Program; Horn Clause