Download graal-rules-analyser JAR file with all dependencies
graal-rules-analyser from group fr.lirmm.graphik (version 0.8.7)
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.
Artifact graal-rules-analyser
Group fr.lirmm.graphik
Version 0.8.7
Last update 03. September 2015
Tags: detail store bases graal structural existential more basic forward dedicated describe interfaces report features import algorithms rewriting composed expressed kinds format properties ontology that decidability some parser generic textual knowledge query data chaining techniques analysis following experiments consider rule toolkit various ontological answering files rely layer provides framework rules main which original java
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies graal-util, graal-core, graal-forward-chaining, jgrapht-core, commons-collections4,
There are maybe transitive dependencies!
Group fr.lirmm.graphik
Version 0.8.7
Last update 03. September 2015
Tags: detail store bases graal structural existential more basic forward dedicated describe interfaces report features import algorithms rewriting composed expressed kinds format properties ontology that decidability some parser generic textual knowledge query data chaining techniques analysis following experiments consider rule toolkit various ontological answering files rely layer provides framework rules main which original java
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies graal-util, graal-core, graal-forward-chaining, jgrapht-core, commons-collections4,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)