What is InteGraal?

InteGraal is a Java toolkit dedicated to querying knowledge bases within the framework of existential rules, aka Datalog+/- with the addition of a datasource integration layer.
It is an open source library published under Apache v2.0 license.

InteGraal has been designed in a modular way, in order to facilitate software reuse and extension. It shoud make it easy to test new scenarios and techniques, in particular by combining algorithms.

The main features of InteGraal are currently the following:

• a data layer that provides generic interfaces to store various kinds of data and query them with (union of) conjunctive queries;
• an ontological layer, where an ontology is a set of existential rules;
• algorithms to process ontology-mediated queries:
  • query rewriting algorithms, which form the core of InteGraal techniques. These algorithms use the rules to rewrite the input query into a minimal set (ie union) of conjunctive queries. To compute the answers to a query on a knowledge base, one can evaluate the rewritten query on the fact base.
  • forward chaining (or chase) algorithms, which apply rules on the fact base until saturation. To compute the answers to a query on a knowledge base, one can evaluate this query on the saturated fact base. The generic chase algorithm is available with a multitude of parameters allowing it to be configured as best as possible according to ones needs.

InteGraal supports the following IO formats:

• Dlgp (for ‘datalog+’), which extends datalog format;
• RDF (data);
• CSV (data);

Standalone tools built with InteGraal

In addition to InteGraal's java modules, several standalone tools are available

• CLI: a command line interface with handling of an execution environment
• Commander: a command line tool usefull for integration InteGraal in shell scripts

Trying InteGraal

We provide the following commands that can be used with the CLI tool to try InteGraal quickly

TODO

Resources

We provide several documentation and external tools that are made around InteGraal for more information such as :

• the git repository of InteGraal
• an index of all the documentation around InteGraal
• a git repository dedicated to code examples for the main functionnalities of InteGraal
• a wiki with documentation and usage of each module
• the javadoc of InteGraal
• a tool dedicated to benchmarking rule reasoners including InteGraal

Publications

• J.-F. Baget, P. Bisquert, M. Leclère, M.-L Mugnier, G. Pérution-Kihli, F. Tornil and F. Ulliana: Integraal: a tool for data-integration and reasoning on heterogeneous and federated sources, in BDA 2023 Demo, October 2023.