HermiT is reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.
This is the maven build of HermiT and is designed for people who wish to use HermiT from within the OWL API. It is now versioned in the main HermiT version repository, although not officially supported by the HermiT developers.
The version number of this package is a ...
Artifacts using HermiT (34)
Evee Data Owlapi4
Last Release on Feb 19, 2026
DL Learner Core Components
Last Release on Apr 28, 2021
3.Tawny OWL5 usages
uk.org.russet » tawny-owl LGPL
tawny-owl enables building OWL ontologies in a programmatic environment.
Last Release on Nov 17, 2023
Evee Data Owlapi5
Last Release on Feb 19, 2026
5.Evee Elimination Proofs Core Owlapi44 usages
io.github.de-tu-dresden-inf-lat » evee-elimination-proofs-core-owlapi4 MIT
Evee Elimination Proofs Core Owlapi4
Last Release on Feb 19, 2026
Lethe Owlapi5
Last Release on Apr 15, 2026
Lethe Owlapi4
Last Release on Apr 15, 2026
An OWL reasoner extension for quering over existential restrictions
Last Release on May 31, 2016
OWLPod common components
Last Release on Feb 19, 2020
RDF/OWL Machine Learning Library for Apache Spark
Last Release on Apr 18, 2024
