Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs