Download JAR files tagged by existential with all dependencies

expression-materializing-reasoner from group org.geneontology (version 0.1.3)

An OWL reasoner extension for quering over existential restrictions

Group: org.geneontology Artifact: expression-materializing-reasoner
Show documentation Show source

0 downloads

Artifact expression-materializing-reasoner
Group org.geneontology
Version 0.1.3
Last update 31. May 2016
Organization not specified
URL https://github.com/owlcollab/expression-materializing-reasoner
License The BSD 3-Clause License
Dependencies amount 1
Dependencies owlapi-distribution,
There are maybe transitive dependencies!

existentialquery from group edu.stanford.protege (version 2.0.0)

A plug-in for the Protege that provides an interface for querying for implied fillers of existential restrictions

Group: edu.stanford.protege Artifact: existentialquery
Show documentation Show source

0 downloads

Artifact existentialquery
Group edu.stanford.protege
Version 2.0.0
Last update 11. December 2015
Organization Stanford Center for Biomedical Informatics Research
URL https://github.com/protegeproject/existentialquery
License GNU Lesser General Public License
Dependencies amount 3
Dependencies protege-common, protege-editor-core, protege-editor-owl,
There are maybe transitive dependencies!

graal-elder from group fr.lirmm.graphik (version 1.0.17)

A defeasible reasoning tool for existential rules, it supports defeasible reasoning with amibguity blocking/propagating with or without team defeat

Group: fr.lirmm.graphik Artifact: graal-elder
Show all versions Show documentation Show source

0 downloads

Artifact graal-elder
Group fr.lirmm.graphik
Version 1.0.17
Last update 06. March 2019
Organization not specified
URL https://github.com/hamhec/graal-elder
License
Dependencies amount 4
Dependencies graal-defeasible-core, jackson-core, jackson-annotations, jackson-databind,
There are maybe transitive dependencies!

graal-defeasible-core from group fr.lirmm.graphik (version 0.0.6)

This is the core library relying on the GRAAL reasoning tool and containing a Defeasible Existential Rules DLGP parser along with the support for preferences on rules and alternatives

Group: fr.lirmm.graphik Artifact: graal-defeasible-core
Show all versions Show documentation Show source

0 downloads

Artifact graal-defeasible-core
Group fr.lirmm.graphik
Version 0.0.6
Last update 06. March 2019
Organization not specified
URL https://github.com/hamhec/graal-defeasible-core
License
Dependencies amount 4
Dependencies graal-core, graal-io-dlgp, graal-forward-chaining, slf4j-api,
There are maybe transitive dependencies!

graal-rules-analyser from group fr.lirmm.graphik (version 1.3.1)

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.

Group: fr.lirmm.graphik Artifact: graal-rules-analyser
Show all versions Show documentation Show source

0 downloads

Artifact graal-rules-analyser
Group fr.lirmm.graphik
Version 1.3.1
Last update 15. March 2018
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies graal-util, graal-core, graal-forward-chaining, jgrapht-core, commons-collections4,
There are maybe transitive dependencies!

graal-coverage from group fr.lirmm.graphik (version 1.3.1)

Group: fr.lirmm.graphik Artifact: graal-coverage
Show all versions

0 downloads

Artifact graal-coverage
Group fr.lirmm.graphik
Version 1.3.1
Last update 15. March 2018
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies org.jacoco.ant,
There are maybe transitive dependencies!

graal-test from group fr.lirmm.graphik (version 1.3.1)

Group: fr.lirmm.graphik Artifact: graal-test
Show all versions

0 downloads

Artifact graal-test
Group fr.lirmm.graphik
Version 1.3.1
Last update 15. March 2018
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

graal-store-rdf4j from group fr.lirmm.graphik (version 1.3.1)

Group: fr.lirmm.graphik Artifact: graal-store-rdf4j
Show all versions Show documentation Show source

1 downloads

Artifact graal-store-rdf4j
Group fr.lirmm.graphik
Version 1.3.1
Last update 15. March 2018
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies graal-core, graal-io-sparql, rdf4j-common, rdf4j-model, rdf4j-util, rdf4j-query, rdf4j-repository-api, rdf4j-repository-sparql, rdf4j-sail-memory, rdf4j-repository-sail, rdf4j-rio-turtle, commons-logging,
There are maybe transitive dependencies!

graal-store-neo4j from group fr.lirmm.graphik (version 1.3.1)

Group: fr.lirmm.graphik Artifact: graal-store-neo4j
Show all versions Show documentation Show source

0 downloads

Artifact graal-store-neo4j
Group fr.lirmm.graphik
Version 1.3.1
Last update 15. March 2018
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies graal-core, graal-api, neo4j-kernel, neo4j-cypher,
There are maybe transitive dependencies!

rdbms-test from group fr.lirmm.graphik (version 1.3.1)

Group: fr.lirmm.graphik Artifact: rdbms-test
Show all versions

0 downloads

Artifact rdbms-test
Group fr.lirmm.graphik
Version 1.3.1
Last update 15. March 2018
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 1 from 5 (items total 46)