JarCasting
JarCasting JarCasting
Last Version

fr.lirmm.graphik:graal-rules-analyser 1.3.1

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.

License

License

http://www.cecill.info/licences/Licence_CeCILL_V2.1-en.txt
Categories

Categories

Graal
GroupId

GroupId

fr.lirmm.graphik
ArtifactId

ArtifactId

graal-rules-analyser
Version

Version

1.3.1
Type

Type

jar
Description

Description

fr.lirmm.graphik:graal-rules-analyser
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.
Project Organization

Project Organization

GraphIK (INRIA - LIRMM)

Download graal-rules-analyser 1.3.1

Filename Size
graal-rules-analyser-1.3.1.pom
graal-rules-analyser-1.3.1.jar 61 KB
graal-rules-analyser-1.3.1-sources.jar 58 KB
graal-rules-analyser-1.3.1-javadoc.jar 229 KB
Browse 

<!-- https://jarcasting.com/artifacts/fr.lirmm.graphik/graal-rules-analyser/ -->
<dependency>
    <groupId>fr.lirmm.graphik</groupId>
    <artifactId>graal-rules-analyser</artifactId>
    <version>1.3.1</version>
</dependency>
// https://jarcasting.com/artifacts/fr.lirmm.graphik/graal-rules-analyser/
implementation 'fr.lirmm.graphik:graal-rules-analyser:1.3.1'
// https://jarcasting.com/artifacts/fr.lirmm.graphik/graal-rules-analyser/
implementation ("fr.lirmm.graphik:graal-rules-analyser:1.3.1")
'fr.lirmm.graphik:graal-rules-analyser:jar:1.3.1'
<dependency org="fr.lirmm.graphik" name="graal-rules-analyser" rev="1.3.1">
  <artifact name="graal-rules-analyser" type="jar" />
</dependency>
@Grapes(
@Grab(group='fr.lirmm.graphik', module='graal-rules-analyser', version='1.3.1')
)
libraryDependencies += "fr.lirmm.graphik" % "graal-rules-analyser" % "1.3.1"
[fr.lirmm.graphik/graal-rules-analyser "1.3.1"]

Dependencies

compile (6)

Group / Artifact Type Version
fr.lirmm.graphik : graal-util jar 1.3.1
fr.lirmm.graphik : graal-core jar 1.3.1
fr.lirmm.graphik : graal-forward-chaining jar 1.3.1
org.jgrapht : jgrapht-core jar 0.9.0
org.apache.commons : commons-collections4 jar 4.1
org.slf4j : slf4j-api jar 1.7.7

test (2)

Group / Artifact Type Version
fr.lirmm.graphik : graal-io-dlgp jar 1.3.1
junit : junit jar 4.11

Project Modules

There are no modules declared in this project.