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  .