Section: Software and Platforms

Tools for Rule-Based Reasoning

Participants : Mélanie König, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Michaël Thomazo.

Kiabora has been designed to analyze an existential rule base (see Section  6.1 ) and determine if it allows for finite query answering, i.e., if any conjunctive query evaluated over any fact base while taking this set of rules into account will be answered in a finite time. This year, we fixed some bugs and added some specific options. In addition, a presentation and a demo of Kiabora were made at RR 2013 [38] .

Besides, the algorithms presented in [38] , [37] , [41] were implemented and let to experiments. These algorithms are still under development since new improvements have to be integrated.