On Bounded Positive Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2008

On Bounded Positive Existential Rules

Résumé

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).
Fichier principal
Vignette du fichier
DL16-version-proc.pdf (276.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-01375091 , version 1 (02-10-2016)

Identifiants

  • HAL Id : lirmm-01375091 , version 1

Citer

Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On Bounded Positive Existential Rules. DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings. ⟨lirmm-01375091⟩
163 Consultations
180 Téléchargements

Partager

More