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
DL: Description Logics, Apr 2016, Cape Town, South Africa. ceur-ws, 29th International Workshop on Description Logics, 2008
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 : mercredi 12 décembre 2018 - 14:38:02
Document(s) archivé(s) le : mardi 3 janvier 2017 - 13:42:26
