HermiT: A Highly-Efficient OWL Reasoner

By Rob Shearer, Boris Motik, Ian Horrocks. OWL: Experiences and Directions, 2008

548 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

The MASTRO system for ontology-based data access (2011, methodology): “Differently from QuOnto, the reasoning engine at the basis of Mastro, other well-known DL reasoners such as RacerPro [17], Pellet [29], Fact++ [32], and HermiT [28] are essentially focused on standard DL reasoning services, whereas only limited forms of query answering are sup-”
Gene Ontology Annotations and Resources (2012, methodology): “All modifications to the ontology trigger the GO continuous integration server to launch an extensive validation procedure, including consistency checking using powerful OWL reasoners such as HermiT (14) and Elk (15).”
KnowRob: A knowledge processing infrastructure for cognition-enabled robots (2013, methodology): “, 2007), or HermiT (Shearer et al., 2008) that maintain a fully classified knowledge base in memory.”
Integrating phenotype ontologies across multiple species (2010, unknown): “We tried a variety of reasoning tools, including OWL-based reasoners such as Pellet, FaCT++ and HermiT [38-40].”
Semantic Image Interpretation - Integration of Numerical Data and Logical Knowledge for Cognitive Vision (2018, unknown): “These procedures are implemented in optimized tools called reasoners that are freely available, such as FaCT++ [105], HermiT [94], Pellet [96] and RacerPro [43].”