fr.lirmm.graphik:graal-rules-analyser 1.3.a1

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.

Categories	Graal
GroupId	fr.lirmm.graphik
ArtifactId	graal-rules-analyser
Version	1.3.a1
Type	jar

Download graal-rules-analyser 1.3.a1

Filename	Size
graal-rules-analyser-1.3.a1.pom
graal-rules-analyser-1.3.a1.jar	60 KB
graal-rules-analyser-1.3.a1-sources.jar	57 KB
graal-rules-analyser-1.3.a1-javadoc.jar	228 KB

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.a1</version>
</dependency>

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'fr.lirmm.graphik:graal-rules-analyser:jar:1.3.a1'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[fr.lirmm.graphik/graal-rules-analyser "1.3.a1"]