13 citations · 29 across the 10 of their papers we have counts for
12 papers
A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL
David Carral, Calixte Gruson, Quentin Manière
The emergence of the ISO standard GQL introduces a powerful query language extending first-order logic with controlled recursion, raising the question of its applicability to evalu…
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination
Lukas Gerlach, David Carral
The disjunctive restricted chase is a sound and complete procedure for solving boolean conjunctive query entailment over knowledge bases of disjunctive existential rules. Alas, thi…
Normalisations of Existential Rules: Not so Innocuous!
David Carral, Lucas Larroque, Marie-Laure Mugnier +1
Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simp…
Deciding Hyperproperties Combined with Functional Specifications
Raven Beutner, David Carral, Bernd Finkbeiner +2
We study satisfiability for HyperLTL with a quantifier prefix, known to be highly undecidable in general. HyperLTL can express system properties that relate mu…
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…
Materializing Knowledge Bases via Trigger Graphs
Efthymia Tsamoura, David Carral, Enrico Malizia +1
The chase is a well-established family of algorithms used to materialize Knowledge Bases (KBs), like Knowledge Graphs (KGs), to tackle important tasks like query answering under de…