Ontology-based data access: A survey

G **ao, D Calvanese, R Kontchakov, D Lembo… - 2018 - eprints.bbk.ac.uk
We present the framework of ontology-based data access, a semantic paradigm for
providing a convenient and user-friendly access to data repositories, which has been …

Taming the infinite chase: Query answering under expressive relational constraints

A Calì, G Gottlob, M Kifer - Journal of Artificial Intelligence Research, 2013 - jair.org
The chase algorithm is a fundamental tool for query evaluation and for testing query
containment under tuple-generating dependencies (TGDs) and equality-generating …

Data complexity of query answering in description logics

D Calvanese, G De Giacomo, D Lembo, M Lenzerini… - Artificial Intelligence, 2013 - Elsevier
In this paper we study data complexity of answering conjunctive queries over description
logic (DL) knowledge bases constituted by a TBox and an ABox. In particular, we are …

Acyclicity notions for existential rules and their application to query answering in ontologies

BC Grau, I Horrocks, M Krötzsch, C Kupke… - Journal of Artificial …, 2013 - jair.org
Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a
prominent problem in knowledge representation and databases. This problem can be …

Query rewriting and optimization for ontological databases

G Gottlob, G Orsi, A Pieris - ACM Transactions on Database Systems …, 2014 - dl.acm.org
Ontological queries are evaluated against a knowledge base consisting of an extensional
database and an ontology (ie, a set of logical assertions and constraints that derive new …

Guarded-based disjunctive tuple-generating dependencies

P Bourhis, M Manna, M Morak, A Pieris - ACM Transactions on Database …, 2016 - dl.acm.org
We perform an in-depth complexity analysis of query answering under guarded-based
classes of disjunctive tuple-generating dependencies (DTGDs), focusing on (unions of) …

General acyclicity and cyclicity notions for the disjunctive skolem chase

L Gerlach, D Carral - Proceedings of the AAAI Conference on Artificial …, 2023 - ojs.aaai.org
The disjunctive skolem chase is a sound, complete, and potentially non-terminating
procedure for solving boolean conjunctive query entailment over knowledge bases of …

Sound, complete and minimal UCQ-rewriting for existential rules

M König, M Leclère, ML Mugnier, M Thomazo - Semantic Web, 2015 - content.iospress.com
We address the issue of Ontology-Based Data Access, with ontologies represented in the
framework of existential rules, also known as Datalog±. A well-known approach involves …

[PDF][PDF] Restricted Chase (Non) Termination for Existential Rules with Disjunctions.

D Carral, I Dragoste, M Krötzsch - IJCAI, 2017 - iccl.inf.tu-dresden.de
The restricted chase is a sound and complete algorithm for conjunctive query answering
over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its …

Ontologies for knowledge graphs: Breaking the rules

M Krötzsch, V Thost - The Semantic Web–ISWC 2016: 15th International …, 2016 - Springer
Large-scale knowledge graphs (KGs) are widely used in industry and academia, and
provide excellent use-cases for ontologies. We find, however, that popular ontology …