Kiabora: An Analyzer of Existential Rule Bases

Michel Leclère 1 Marie-Laure Mugnier 1 Swan Rocher 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Kiabora is a software tool dedicated to the analysis of a base of existential rules (also called Datalog± rules). It is able to check if a set of rules belongs to a known class for which entailment is decidable, either directly, by checking some syntactic properties, or by means of its Graph of Rule Dependencies, which allows to combine decidable cases. Kiabora is available online via a simple web form. It is written in Java and is easily extensible to take new decidability results into account. It comes with a textual format, called DLGP (for Datalog Plus), which can be seen as an extension to usual plain Datalog format. In this paper, we briefly introduce the existential rule framework as well as decidability results and presents the analysis performed by Kiabora. More details are available on Kiabora website.
Type de document :
Communication dans un congrès
Wolfgang Faber; Domenico Lembo. RR: Web Reasoning and Rule Systems, Jul 2013, Mannheim, Germany. Springer Verlag, 7th International Conference on Web Reasoning and Rule Systems, LNCS (7994), pp.241-246, 2013, Web Reasoning and Rule Systems. 〈http://rr2013.uni-mannheim.de/〉. 〈10.1007/978-3-642-39666-3_22〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00934018
Contributeur : Michel Leclère <>
Soumis le : mardi 21 janvier 2014 - 14:47:11
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Identifiants

Collections

Citation

Michel Leclère, Marie-Laure Mugnier, Swan Rocher. Kiabora: An Analyzer of Existential Rule Bases. Wolfgang Faber; Domenico Lembo. RR: Web Reasoning and Rule Systems, Jul 2013, Mannheim, Germany. Springer Verlag, 7th International Conference on Web Reasoning and Rule Systems, LNCS (7994), pp.241-246, 2013, Web Reasoning and Rule Systems. 〈http://rr2013.uni-mannheim.de/〉. 〈10.1007/978-3-642-39666-3_22〉. 〈lirmm-00934018〉

Partager

Métriques

Consultations de la notice

147