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.

Лицензия	Лицензия http://www.cecill.info/licences/Licence_CeCILL_V2.1-en.txt
Категории	Категории Graal
Группа	Группа fr.lirmm.graphik
Идентификатор	Идентификатор graal-rules-analyser
Последняя версия	Последняя версия 1.3.1
Дата	Дата 15 мар. 2018 г.
Тип	Тип jar
Описание	Описание 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.
Организация-разработчик	Организация-разработчик GraphIK (INRIA - LIRMM)

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

Имя Файла	Размер
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
Обзор

Как подключить последнюю версию

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"]

Зависимости

compile (6)

Идентификатор библиотеки	Тип	Версия
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)

Идентификатор библиотеки	Тип	Версия
fr.lirmm.graphik : graal-io-dlgp	jar	1.3.1
junit : junit	jar	4.11

Модули Проекта

Данный проект не имеет модулей.

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

Версии библиотеки

Версия
1.3.1 15 мар. 2018 г.
1.3.0 30 июн. 2017 г.
1.3.rc2 26 июн. 2017 г.
1.3.rc1 19 июн. 2017 г.
1.3.a2 1 июн. 2017 г.
1.3.a1 12 апр. 2017 г.
1.3.a0 30 янв. 2017 г.
1.2.0 29 июл. 2016 г.
1.1.1 21 янв. 2016 г.
1.1.0 12 янв. 2016 г.
1.0.3 16 нояб. 2015 г.
1.0.2 5 нояб. 2015 г.
1.0.1 19 окт. 2015 г.
1.0.0 2 окт. 2015 г.
0.9.0 21 сент. 2015 г.
0.8.7 3 сент. 2015 г.

fr.lirmm.graphik:graal-rules-analyser

Лицензия

Категории

Группа

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

Последняя версия

Дата

Тип

Описание

Организация-разработчик