Group: LIRMM GraphIK

This module contains the main interfaces and classes of Graal.

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

This module provides all interfaces of Graal.

Graal Utilities

The graal-forward-chaining module provides implementation for chase algorithms.

The Homomorphism module implements algorithms to query data.

Graal Store RDBMS

Graal IO API

Graal Store API

The graal-backward-chaining provides implementation for query rewriting algorithms.

This module is 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). This module allows to analyze 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.

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

The graal-io-sparql provides a parser and a writer for sparql queries (core).

RDBMS Common

Graal Store Neo4j

Graal Store OpenRDF

Graal IO Dlgp1

Graal IO RuleML

A low level parser for Dlgp2 format (Datalog+)

Graal Store JenaTDB