Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP

Abstract

<i>Ontology-based data access</i> is concerned with querying incomplete data sources in the presence of domain-specific knowledge provided by an ontology. A central notion in this setting is that of an <i>ontology-mediated query</i>, which is a database query coupled with an ontology. In this paper, we study several classes of ontology-mediated queries, where the database queries are given as some form of conjunctive query and the ontologies are formulated in description logics or other relevant fragments of first-order logic, such as the guarded fragment and the unary-negation fragment. The contributions of the paper are three-fold. First, we characterize the expressive power of ontology-mediated queries in terms of fragments of disjunctive datalog. Second, we establish intimate connections between ontology-mediated queries and constraint satisfaction problems (CSPs) and their logical generalization, MMSNP formulas. Third, we exploit these connections to obtain new results regarding (i) first-order rewritability and datalog-rewritability of ontology-mediated queries, (ii) P/NP dichotomies for ontology-mediated queries, and (iii) the query containment problem for ontology-mediated queries.

DOI: 10.1145/2463664.2465223

Extracted Key Phrases

2 Figures and Tables

020402011201220132014201520162017
Citations per Year

115 Citations

Semantic Scholar estimates that this publication has 115 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Bienvenu2013OntologybasedDA, title={Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP}, author={Meghyn Bienvenu and Balder ten Cate and Carsten Lutz and Frank Wolter}, journal={ACM Trans. Database Syst.}, year={2013}, volume={39}, pages={33:1-33:44} }