Download JAR files tagged by reasoner with all dependencies

elk-ore from group au.csiro (version 0.5.0)

ELK build for the Ontology Reasoner Evaluation competition

Group: au.csiro Artifact: elk-ore
Show documentation Show source

0 downloads

Artifact elk-ore
Group au.csiro
Version 0.5.0
Last update 11. October 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies elk-owl-model, elk-owl-parsing-javacc, elk-owl-implementation, elk-util-io, elk-util-common, elk-reasoner,
There are maybe transitive dependencies!

openllet-protege from group com.github.galigator.openllet (version 2.6.5)

Integrates the Openllet reasoner with Protege Desktop.

Group: com.github.galigator.openllet Artifact: openllet-protege
Show all versions Show documentation Show source

8 downloads

Artifact openllet-protege
Group com.github.galigator.openllet
Version 2.6.5
Last update 27. September 2019
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies openllet-core, openllet-owlapi, openllet-modularity, openllet-query, jaxb-api,
There are maybe transitive dependencies!

bundle from group it.unife.endif.ml (version 3.0.0)

BUNDLE is a reasoner for probabilistic description logics.

Group: it.unife.endif.ml Artifact: bundle
Show all versions Show documentation Show source

0 downloads

Artifact bundle
Group it.unife.endif.ml
Version 3.0.0
Last update 24. April 2018
Organization MachineLearning@Unife - Department of Mathematics and Computer Science, Department of Engineering - University of Ferrara
URL https://sites.google.com/a/unife.it/ml/bundle
License GNU General Public License (GPL)
Dependencies amount 18
Dependencies commons-cli, xml-apis, JavaBDD-OSGi, unife-math, prob-owlapi, commons-lang3, slf4j-api, log4j-slf4j-impl, log4j-core, pellet-owlapi, jfact, factplusplus, org.semanticweb.hermit, validation-api, hibernate-validator, hibernate-validator-annotation-processor, javax.el-api, javax.el,
There are maybe transitive dependencies!

org.apache.stanbol.reasoners.jena from group org.apache.stanbol (version 1.0.0)

Methods to use the Jena rule-based reasoner

Group: org.apache.stanbol Artifact: org.apache.stanbol.reasoners.jena
Show all versions Show documentation Show source

0 downloads

Artifact org.apache.stanbol.reasoners.jena
Group org.apache.stanbol
Version 1.0.0
Last update 16. September 2016
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies org.apache.stanbol.reasoners.servicesapi, jena-core, slf4j-api,
There are maybe transitive dependencies!

org.protege.integration.hermit from group edu.stanford.protege (version 1.0.1)

Integrates the HermiT reasoner with Protege Desktop.

Group: edu.stanford.protege Artifact: org.protege.integration.hermit
Show all versions Show documentation Show source

4 downloads

Artifact org.protege.integration.hermit
Group edu.stanford.protege
Version 1.0.1
Last update 03. September 2015
Organization Stanford Center for Biomedical Informatics Research
URL https://github.com/protegeproject/hermit-integration
License GNU Lesser General Public License
Dependencies amount 4
Dependencies owlapi-osgidistribution, org.semanticweb.hermit, automaton, org.protege.editor.owl,
There are maybe transitive dependencies!

core from group net.ssehub.easy.reasoning (version 1.3.5)

The IVML reasoner core library of EASy-Producer.

Group: net.ssehub.easy.reasoning Artifact: core
Show all versions Show documentation Show source

0 downloads

Artifact core
Group net.ssehub.easy.reasoning
Version 1.3.5
Last update 04. October 2023
Organization not specified
URL https://sse.uni-hildesheim.de/forschung/projekte/easy-producer/
License Apache License, Version 2.0
Dependencies amount 1
Dependencies varModel,
There are maybe transitive dependencies!

rulewerk-core from group org.semanticweb.rulewerk (version 0.9.0)

Core components of Rulewerk: reasoner interface and model

Group: org.semanticweb.rulewerk Artifact: rulewerk-core
Show all versions Show documentation Show source

0 downloads

Artifact rulewerk-core
Group org.semanticweb.rulewerk
Version 0.9.0
Last update 06. January 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

vlog4j-core from group org.semanticweb.vlog4j (version 0.6.0)

Core components of Rulewerk: reasoner interface and model

Group: org.semanticweb.vlog4j Artifact: vlog4j-core
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact vlog4j-core
Group org.semanticweb.vlog4j
Version 0.6.0
Last update 22. May 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

openllet-test from group com.github.galigator.openllet (version 2.6.5)

Group: com.github.galigator.openllet Artifact: openllet-test
Show all versions

0 downloads

Artifact openllet-test
Group com.github.galigator.openllet
Version 2.6.5
Last update 27. September 2019
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

openllet-profiler from group com.github.galigator.openllet (version 2.6.5)

Group: com.github.galigator.openllet Artifact: openllet-profiler
Show all versions Show documentation Show source

0 downloads

Artifact openllet-profiler
Group com.github.galigator.openllet
Version 2.6.5
Last update 27. September 2019
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies openllet-jena, openllet-owlapi, jfreechart, commons-math3, java-getopt,
There are maybe transitive dependencies!

Page 6 from 10 (items total 94)