An Introduction to the Boundedness Problem for Existential Rules
Federico Ulliana
14 February 2022, 13h00 Salle/Bat : 455/PCRI-N
Contact :
Activités de recherche : Raisonnement automatique
Résumé :
The boundedness problem asks to decide whether the depth of reasoning with a set of rules is dependent from the input data. This issue has long been investigated for the Datalog and has important applications in the optimization of reasoning as well as in ontology reuse. The goal of this talk is to introduce the issue in the context of Existential Rules, present the progress that has been made on the subject and the questions that still remain open.
