EN FR
EN FR


Section: Software

Kiabora

Participants : Swan Rocher [first year master internship] , Michel Leclère, Marie-Laure Mugnier.

http://www2.lirmm.fr/~mugnier/graphik/kiabora/index.html

Kiabora is a tool dedicated to the analysis of a set of existential rules. It can check if this set belongs to a known decidable class of rules, either directly or by means of its Graph of Rule Dependencies (GRD). Kiabora analyzes the properties of the strongly connected components in the GRD, which allows to determine properties of the rule set with respect to decidability as well as the kind of paradigm (forward or backward chaining) ensuring decidability.

Besides, Kiabora also provides format conversion and rule decomposition services. It is written in Java.