Artifacts using Graal Utilities (28)
The graal-forward-chaining module provides implementation for chase algorithms.
Last Release on Mar 15, 2018
The graal-backward-chaining provides implementation for query rewriting algorithms.
Last Release on Mar 15, 2018
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).
Last Release on Mar 15, 2018