TY - RPRT TI - Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning AU - Mark Kaminski AU - Yavor Nenov AU - Bernardo Cuenca Grau PY - 2014 UR - https://arxiv.org/abs/1404.3141 ID - 1404.3141 ER -