Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family