Download JAR files tagged by reasoner with all dependencies

Search JAR files by class name

elk-ore from group io.github.liveontologies (version 0.6.0)

Group: io.github.liveontologies Artifact: elk-ore
Show documentation Show source

0 downloads

Artifact elk-ore
Group io.github.liveontologies
Version 0.6.0

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!

hybrid-reasoner-snomed from group dev.ikm.hybrid-reasoner (version 1.0.3)

Group: dev.ikm.hybrid-reasoner Artifact: hybrid-reasoner-snomed
Show all versions Show documentation Show source

0 downloads

Artifact hybrid-reasoner-snomed
Group dev.ikm.hybrid-reasoner
Version 1.0.3
Last update 10. October 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies elk-snomed,
There are maybe transitive dependencies!

hybrid-reasoner from group dev.ikm.hybrid-reasoner (version 1.0.3)

Group: dev.ikm.hybrid-reasoner Artifact: hybrid-reasoner
Show all versions Show documentation Show source

0 downloads

Artifact hybrid-reasoner
Group dev.ikm.hybrid-reasoner
Version 1.0.3

hybrid-reasoner-parent from group dev.ikm.hybrid-reasoner (version 1.0.3)

Group: dev.ikm.hybrid-reasoner Artifact: hybrid-reasoner-parent
Show all versions

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

0 downloads

Artifact hybrid-reasoner-parent
Group dev.ikm.hybrid-reasoner
Version 1.0.3

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!

Page 6 from 10 (items total 98)