Download fr.lirmm.graphik JAR files with all dependencies

The graal-io-owl module provides a parser from OWL2.

The graal-grd module provides an implementation of the GraphOfRuleDependencies interface.

The Homomorphism module implements algorithms to query data.

The graal-io-dlgp provides a parser and a writer for the Dlgp format.

This module contains the main interfaces and classes of Graal.

This module provides all interfaces of Graal.

Graal is a java toolkit dedicated to ontological query answering in the framework of existential rules. We consider knowledge bases composed of data and an ontology expressed by existential rules. The main features of Graal are the following: a basic layer that provides generic interfaces to store and query various kinds of data, forward chaining and query rewriting algorithms, structural analysis of decidability properties of a rule set, a textual format and its parser, and import of OWL 2 files. We describe in more detail the query rewriting algorithms, which rely on original techniques, and report some experiments.