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 not officially supported by the HermiT
development team, but was built initially for use with the Clojure-OWL
library. It is built using the HermiT ...
| License | BSDLGPL |
|---|---|
| Tags | github |
| HomePage | http://hermit-reasoner.com/ 🔍 Inspect URL |
| Ranking | #444817 in MvnRepository (See Top Artifacts) |
| Version ▼ | Vulnerabilities | Repository | Usages | Date | |
|---|---|---|---|---|---|
1.3.x | 1.3.8.2-ansell | Central |
0
| Sep 03, 2013 |