Parallelisable Existential Rules: a Story of Pieces - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Parallelisable Existential Rules: a Story of Pieces

Maxime Buron
  • Fonction : Auteur
  • PersonId : 1114984
Marie-Laure Mugnier
Michaël Thomazo

Résumé

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 ontology-based data integration. The chase is a fundamental tool to do reasoning with existential rules as it computes all the facts entailed by the rules from a database instance. We introduce parallelisable sets of existential rules, for which the chase can be computed in a single breadth-first step from any instance. The question we investigate is the characterization of such rule sets. We show that parallelisable rule sets are exactly those rule sets both bounded for the chase and belonging to a novel class of rules, called pieceful. The pieceful class includes in particular frontier-guarded existential rules and (plain) datalog. We also give another characterization of parallelisable rule sets in terms of rule composition based on rewriting.
Fichier principal
Vignette du fichier
BDA_2022_paper_2362.pdf (343.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03896402 , version 1 (13-12-2022)

Identifiants

  • HAL Id : hal-03896402 , version 1

Citer

Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo. Parallelisable Existential Rules: a Story of Pieces. BDA 2022 - 38ème journée "Gestion de Données – Principes, Technologies et Applications", Oct 2022, Clermont-Ferrand, France. ⟨hal-03896402⟩
38 Consultations
31 Téléchargements

Partager

Gmail Facebook X LinkedIn More