Normalisations of Existential Rules: Not so Innocuous! - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2022

Normalisations of Existential Rules: Not so Innocuous!

Résumé

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 simplifies technical developments. For instance, a common assumption is that rule heads are atomic, i.e., restricted to a single atom. Such assumptions are considered to be made without loss of generality as long as all sets of rules can be normalised while preserving entailment. However, an important question is whether the properties that ensure the decidability of reasoning are preserved as well. We provide a systematic study of the impact of these procedures on the different chase variants with respect to chase (non-)termination and FO-rewritability. This also leads us to study open problems related to chase termination of independent interest.
Fichier principal
Vignette du fichier
carral-et-al-kr-2022.pdf (356.52 Ko) Télécharger le fichier

Dates et versions

lirmm-03762686 , version 1 (28-08-2022)

Identifiants

Citer

David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo. Normalisations of Existential Rules: Not so Innocuous!. KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩. ⟨lirmm-03762686⟩

Relations

122 Consultations
94 Téléchargements

Altmetric

Partager

More