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.