Logo image
Se connecter
On Bounded Positive Existential Rules
Acte de colloque   Open Access

On Bounded Positive Existential Rules

Michel Leclère, Marie-Laure Mugnier et Federico Ulliana
29th International Workshop on Description Logics, (1577)
DL: Description Logics (Cape Town, South Africa, 22/04/2016–25/04/2016)
2008

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).

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image