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.

License	http://www.cecill.info/licences/Licence_CeCILL_V2.1-en.txt
Categories	Graal
GroupId	fr.lirmm.graphik
ArtifactId	graal-rules-analyser
Last Version	1.3.1
Release Date	Mar 15, 2018
Type	jar
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	GraphIK (INRIA - LIRMM)

Download graal-rules-analyser

Filename	Size
graal-rules-analyser-1.3.1.pom
graal-rules-analyser-1.3.1.jar	54 KB
graal-rules-analyser-1.3.1-sources.jar	50 KB
graal-rules-analyser-1.3.1-javadoc.jar	211 KB

How to add to project

Apache Maven

<!-- 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>

Gradle Groovy

// https://jarcasting.com/artifacts/fr.lirmm.graphik/graal-rules-analyser/
implementation 'fr.lirmm.graphik:graal-rules-analyser:1.3.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/fr.lirmm.graphik/graal-rules-analyser/
implementation ("fr.lirmm.graphik:graal-rules-analyser:1.3.1")

Apache Buildr

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

Apache Ivy

<dependency org="fr.lirmm.graphik" name="graal-rules-analyser" rev="1.3.1">
  <artifact name="graal-rules-analyser" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='fr.lirmm.graphik', module='graal-rules-analyser', version='1.3.1')
)

Scala SBT

libraryDependencies += "fr.lirmm.graphik" % "graal-rules-analyser" % "1.3.1"

Leiningen

[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.

Graal

See Graal homepage

How to build graal?

• install git
• clone the repository

  git clone https://github.com/graphik-team/graal.git

• build the project

mvn package

How to generate Javadoc?

mvn javadoc:javadoc
mvn javadoc:aggregate

How to check code with code analyzer?

mvn pmd:check
mvn findbugs:check

How to build graal when you don't want to get all stuff maven brings?

./prepare_ant.sh
ant

GraphIK

Versions

Version
1.3.1 Mar 15, 2018
1.3.0 Jun 30, 2017
1.3.rc2 Jun 26, 2017
1.3.rc1 Jun 19, 2017
1.3.a2 Jun 1, 2017
1.3.a1 Apr 12, 2017
1.3.a0 Jan 30, 2017
1.2.0 Jul 29, 2016
1.1.1 Jan 21, 2016
1.1.0 Jan 12, 2016
1.0.3 Nov 16, 2015
1.0.2 Nov 5, 2015
1.0.1 Oct 19, 2015
1.0.0 Oct 2, 2015
0.9.0 Sep 21, 2015
0.8.7 Sep 3, 2015