jar

fr.lirmm.graphik : graal-rules-analyser

Maven & Gradle

Mar 15, 2018
5 usages

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.

Table Of Contents

Latest Version

Download fr.lirmm.graphik : graal-rules-analyser JAR file - Latest Versions:

All Versions

Download fr.lirmm.graphik : graal-rules-analyser JAR file - All Versions:

Version Vulnerabilities Size Updated
1.3.x
1.2.x
1.1.x
1.0.x
0.9.x
0.8.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window graal-rules-analyser-1.3.1.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

fr.lirmm.graphik.graal.rulesetanalyser.property

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.AGRDProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.BTSProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.DisconnectedProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.DomainRestrictedProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.FESProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.FUSProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.FrontierGuardedProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.FrontierOneProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.GBTSProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.GuardedProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.JointlyFrontierGuardedSetProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.LinearProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.MFAProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.MSAProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.RangeRestrictedProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.RuleSetProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.StickyProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.WeaklyAcyclicProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.WeaklyFrontierGuardedSetProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.WeaklyGuardedSetProperty.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.property.WeaklyStickyProperty.class - [JAR]

fr.lirmm.graphik.graal.rulesetanalyser.util

├─ fr.lirmm.graphik.graal.rulesetanalyser.util.AnalyserRuleSet.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.util.PredicatePosition.class - [JAR]

fr.lirmm.graphik.graal.rulesetanalyser.graph

├─ fr.lirmm.graphik.graal.rulesetanalyser.graph.AbstractAffectedPositionSet.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.graph.AffectedPositionSet.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.graph.GraphPositionDependencies.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.graph.JointlyAffectedPositionSet.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.graph.MarkedVariableSet.class - [JAR]

fr.lirmm.graphik.graal.rulesetanalyser

├─ fr.lirmm.graphik.graal.rulesetanalyser.Analyser.class - [JAR]

├─ fr.lirmm.graphik.graal.rulesetanalyser.RuleSetPropertyHierarchy.class - [JAR]

Advertisement

Dependencies from Group

Mar 15, 2018
45 usages
38 stars
Mar 15, 2018
31 usages
38 stars
Mar 15, 2018
28 usages
38 stars
Mar 15, 2018
26 usages
38 stars
Mar 15, 2018
18 usages
38 stars

Discover Dependencies

Apr 27, 2017
6 usages
185 stars
Apr 27, 2017
5 usages
185 stars
Apr 27, 2017
5 usages
185 stars
May 07, 2019
9 usages
May 07, 2019
9 usages
Jul 06, 2017
7 usages
46 stars
Sep 10, 2015
5 usages
Jul 05, 2017
7 usages
Jul 05, 2017
6 usages
Mar 16, 2016
6 usages
764 stars