4 papers
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Camille Bourgaux, David Carral, Markus Krötzsch +2
Existential rules are a very popular ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward tha…
Parallelisable Existential Rules: a Story of Pieces
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
In this paper, we consider existential rules, an expressive formalism well suited to the representation of ontological knowledge and data-to-ontology mappings in the context of ont…
Reasoning about disclosure in data integration in the presence of source constraints
Michael Benedikt, Pierre Bourhis, Louis Jachiet +1
Data integration systems allow users to access data sitting in multiple sources by means of queries over a global schema, related to the sources via mappings. Data sources often co…
A Single Approach to Decide Chase Termination on Linear Existential Rules
Michel Leclere, Marie-Laure Mugnier, Michael Thomazo +1
Existential rules, long known as tuple-generating dependencies in database theory, have been intensively studied in the last decade as a powerful formalism to represent ontological…