Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Marie-Laure Mugnier Connect in order to contact the contributor
Submitted on : Sunday, October 2, 2016 - 9:55:21 PM
Last modification on : Friday, January 21, 2022 - 3:08:30 AM
Long-term archiving on: : Tuesday, January 3, 2017 - 1:42:26 PM


Files produced by the author(s)


  • HAL Id : lirmm-01375091, version 1



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⟩



Les métriques sont temporairement indisponibles