JFact is an OWL DL reasoner, based on FaCT++

Vitro Dependencies

tawny-owl enables building OWL ontologies in a programmatic environment.

Whelk reasoner core

ROBOT is an OBO Tool: A library and command-line tool for working with OWL ontologies, especially Open Biological and Biomedical Ontologes (OBO).

A light-weight wrapper for the OWLAPI enabling rapid and concise development of OWL ontologies using Manchester OWL Syntax.

OWL2Query OWLAPI Adapter

Whelk reasoner OWL API bindings

tawny-owl enables building OWL ontologies in a programmatic environment. Fork from the original uk.org.russet/tawny-owl

BUNDLE is a reasoner for probabilistic description logics.

OWLTools Core