Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract) - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)

Abstract

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 that existential rule queries exhibiting chase termination are decidable and can only recognize properties that are preserved under homomorphisms. This paper is an extended abstract of our eponymous publication at KR 2021 where we show the converse: every decidable query that is closed under homomorphism can be expressed by an existential rule set for which the standard chase universally terminates. Membership in this fragment is not decidable, but we show via a diagonalisation argument that this is unavoidable.
Fichier principal
Vignette du fichier
BCKRT-extended-abstract-IJCAI2022.pdf (302.4 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03801049 , version 1 (06-10-2022)

Identifiers

Cite

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo. Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence | 25th European Conference on Artificial Intelligence, Jul 2022, Vienna, Austria. pp.5269-5273, ⟨10.24963/ijcai.2022/733⟩. ⟨hal-03801049⟩
64 View
64 Download

Altmetric

Share

More