Data and Knowledge Group ― Knowledge Representation and Reasoning About KRR People Projects Tools & Datasets News & Events Studentships Visitors HermiT OWL Reasoner The New Kid on the OWL Block Overview 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 relationship