Journal of Automated Reasoning

, Volume 53, Issue 3, pp 245–269

HermiT: An OWL 2 Reasoner

  • Birte Glimm
  • Ian Horrocks
  • Boris Motik
  • Giorgos Stoilos
  • Zhe Wang
Article

DOI: 10.1007/s10817-014-9305-1

Cite this article as:
Glimm, B., Horrocks, I., Motik, B. et al. J Autom Reasoning (2014) 53: 245. doi:10.1007/s10817-014-9305-1

Abstract

This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web Consortium (W3C). HermiT is based on the hypertableau calculus, and it supports a wide range of standard and novel optimisations that improve the performance of reasoning on real-world ontologies. Apart from the standard OWL 2 reasoning task of entailment checking, HermiT supports several specialised reasoning services such as class and property classification, as well as a range of features outside the OWL 2 standard such as DL-safe rules, SPARQL queries, and description graphs. We discuss the system’s architecture, and we present an overview of the techniques used to support the mentioned reasoning tasks. We further compare the performance of reasoning in HermiT with that of FaCT++ and Pellet—two other popular and widely used OWL 2 reasoners.

Keywords

Ontologies OWL Class classification Property classification Optimisations 

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  • Birte Glimm
    • 1
  • Ian Horrocks
    • 2
  • Boris Motik
    • 2
  • Giorgos Stoilos
    • 3
  • Zhe Wang
    • 4
  1. 1.Institute of Artificial IntelligenceUniversity of UlmUlmGermany
  2. 2.Department of Computer ScienceUniversity of OxfordOxfordUK
  3. 3.School of Electrical & Computer EngineeringNational Technical University of AthensZografouGreece
  4. 4.School of Information & Communication TechnologyGriffith UniversityBrisbaneAustralia