On Bounded Positive Existential Rules

Michel Leclère 1, 2 Marie-Laure Mugnier 1, 2 Federico Ulliana 1, 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
2 UM - Université de Montpellier
Abstract : We consider the existential rule framework, which generalizes Horn description logics. We study and compare several boundedness notions in this framework. Our main result states that (strongly-) bounded rules are exactly those at the intersection of two well-known abstract classes of existential rules, namely fes (finite expansion sets, which ensure the finiteness of the core chase) and fus (finite unification sets, which correspond to UCQ-rewritable rules).
Type de document :
Communication dans un congrès
29th International Workshop on Description Logics, Apr 2016, Cape Town, South Africa. ceur-ws, Proceedings of the 29th International Workshop on Description Logics
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375091
Contributeur : Marie-Laure Mugnier <>
Soumis le : dimanche 2 octobre 2016 - 21:55:21
Dernière modification le : samedi 27 janvier 2018 - 01:31:47
Document(s) archivé(s) le : mardi 3 janvier 2017 - 13:42:26

Fichier

DL16-version-proc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01375091, version 1

Collections

LIRMM | INRIA | GRAPHIK | MIPS | UNIV-MONTPELLIER

Citation

Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On Bounded Positive Existential Rules. 29th International Workshop on Description Logics, Apr 2016, Cape Town, South Africa. ceur-ws, Proceedings of the 29th International Workshop on Description Logics. 〈lirmm-01375091〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

116

Téléchargements de fichiers

112

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD