research
∙
06/07/2022
Normalisations of Existential Rules: Not so Innocuous!
Existential rules are an expressive knowledge representation language ma...
share
research
∙
02/22/2022
Revisiting Semiring Provenance for Datalog
Data provenance consists in bookkeeping meta information during query ev...
research
∙
07/16/2021
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Existential rules are a very popular ontology-mediated query language fo...
research
∙
07/13/2021
Parallelisable Existential Rules: a Story of Pieces
In this paper, we consider existential rules, an expressive formalism we...
research
∙
09/02/2020
Answering Counting Queries over DL-Lite Ontologies
Ontology-mediated query answering (OMQA) is a promising approach to data...
research
∙
06/03/2019
Reasoning about disclosure in data integration in the presence of source constraints
Data integration systems allow users to access data sitting in multiple ...
research
∙
10/04/2018
A Single Approach to Decide Chase Termination on Linear Existential Rules
Existential rules, long known as tuple-generating dependencies in databa...
research
∙
12/15/2014