 |
HAL-LIRMM - Open Archive |  |
Conference papers
On Bounded Positive Existential Rules
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).
Cited literature [25 references]
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 : Monday, December 14, 2020 - 5:18:26 PM
Long-term archiving on: : Tuesday, January 3, 2017 - 1:42:26 PM
Contributor : Marie-Laure Mugnier <>
Submitted on : Sunday, October 2, 2016 - 9:55:21 PM
Last modification on : Monday, December 14, 2020 - 5:18:26 PM
Long-term archiving on: : Tuesday, January 3, 2017 - 1:42:26 PM
File
DL16-version-proc.pdf
Files produced by the author(s)