Ontology-based data access: A survey
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 …
providing a convenient and user-friendly access to data repositories, which has been …
Taming the infinite chase: Query answering under expressive relational constraints
The chase algorithm is a fundamental tool for query evaluation and for testing query
containment under tuple-generating dependencies (TGDs) and equality-generating …
containment under tuple-generating dependencies (TGDs) and equality-generating …
Data complexity of query answering in description logics
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 …
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
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 …
prominent problem in knowledge representation and databases. This problem can be …
Query rewriting and optimization for ontological databases
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 …
database and an ontology (ie, a set of logical assertions and constraints that derive new …
Guarded-based disjunctive tuple-generating dependencies
We perform an in-depth complexity analysis of query answering under guarded-based
classes of disjunctive tuple-generating dependencies (DTGDs), focusing on (unions of) …
classes of disjunctive tuple-generating dependencies (DTGDs), focusing on (unions of) …
General acyclicity and cyclicity notions for the disjunctive skolem chase
The disjunctive skolem chase is a sound, complete, and potentially non-terminating
procedure for solving boolean conjunctive query entailment over knowledge bases of …
procedure for solving boolean conjunctive query entailment over knowledge bases of …
Sound, complete and minimal UCQ-rewriting for existential rules
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 …
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 …
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 …
provide excellent use-cases for ontologies. We find, however, that popular ontology …