Section: New Software and Platforms


Participants : Clément Sipieter, Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher.

Contact: Marie-Laure Mugnier (scientific contact), Clément Sipieter (technical contact)

Keywords: Data management - Ontologies - Query Answering

Web site: https://graphik-team.github.io/graal/

Scientific Description Graal is a generic platform for ontological query answering with existential rules. It implements various paradigms that fall into that framework. It is an open source software written in Java.

Functional Description See last year's report for a description of GRAAL's features http://raweb.inria.fr/rapportsactivite/RA2015/graphik/uid49.html.

New Features The main features developed in 2016 are:

  • improvement of the semi-saturation algorithm with compilable rules;

  • implementation of mappings allowing to query an existing database as it is, without prior loading it in GRAAL;

  • design and implementation of classes that manage a knowledge base (i.e., the rules and the data). In particular, the results of the rule analyser Kiabora (that has been integrated within GRAAL) are used to automatically select the most appropriate algorithms for querying the knowledge base.