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
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).
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375091
Contributor : Marie-Laure Mugnier <>
Submitted on : Sunday, October 2, 2016 - 9:55:21 PM
Last modification on : Wednesday, June 5, 2019 - 11:58:13 AM
Long-term archiving on : Tuesday, January 3, 2017 - 1:42:26 PM

File

DL16-version-proc.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01375091, version 1

Collections

Citation

Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On Bounded Positive Existential Rules. DL: Description Logics, Apr 2016, Cape Town, South Africa. ⟨lirmm-01375091⟩

Share

Metrics

Record views

195

Files downloads

241