• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Journal articles
    • View Item
    • Home
    • Griffith Research Online
    • Journal articles
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • HermiT: An OWL 2 Reasoner

    Thumbnail
    View/Open
    101583_1.pdf (502.0Kb)
    File version
    Accepted Manuscript (AM)
    Author(s)
    Glimm, Birte
    Horrocks, Ian
    Motik, Boris
    Stoilos, Giorgos
    Wang, Zhe
    Griffith University Author(s)
    Wang, Zhe
    Year published
    2014
    Metadata
    Show full item record
    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, ...
    View more >
    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.
    View less >
    Journal Title
    Journal of Automated Reasoning
    Volume
    53
    Issue
    3
    DOI
    https://doi.org/10.1007/s10817-014-9305-1
    Copyright Statement
    © 2014 Springer Netherlands. This is an electronic version of an article published in Journal of Automated Reasoning, Volume 53, Issue 3, pp 245-269, 2014. Journal of Automated Reasoning is available online at: http://link.springer.com/ with the open URL of your article.
    Subject
    Artificial intelligence not elsewhere classified
    Theory of computation
    Cognitive and computational psychology
    Publication URI
    http://hdl.handle.net/10072/66648
    Collection
    • Journal articles

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E
    • TEQSA: PRV12076

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander