13 citations · 18 across the 3 of their papers we have counts for
4 papers · 1 filter
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…
Checking Chase Termination over Ontologies of Existential Rules with Equality
David Carral, Jacopo Urbani
The chase is a sound and complete algorithm for conjunctive query answering over ontologies of existential rules with equality. To enable its effective use, we can apply acyclicity…
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
David Carral, Cristina Feier, Pascal Hitzler
Conjunctive query answering over expressive Horn Description Logic ontologies is a relevant and challenging problem which, in some cases, can be addressed by application of the cha…