JarCasting
JarCasting JarCasting
не последняя версия
Последняя версия 1.3.1 →

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

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.

Категории

Категории

Graal
Группа

Группа

fr.lirmm.graphik
Идентификатор

Идентификатор

graal-rules-analyser
Версия

Версия

1.3.0
Тип

Тип

jar

Скачать graal-rules-analyser 1.3.0

Имя Файла Размер
graal-rules-analyser-1.3.0.pom
graal-rules-analyser-1.3.0.jar 61 KB
graal-rules-analyser-1.3.0-sources.jar 58 KB
graal-rules-analyser-1.3.0-javadoc.jar 229 KB
Обзор 

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