Show simple item record

dc.contributor.authorGlimm, Birte
dc.contributor.authorHorrocks, Ian
dc.contributor.authorMotik, Boris
dc.contributor.authorStoilos, Giorgos
dc.contributor.authorWang, Zhe
dc.date.accessioned2017-05-15T23:36:30Z
dc.date.available2017-05-15T23:36:30Z
dc.date.issued2014
dc.identifier.issn0168-7433
dc.identifier.doi10.1007/s10817-014-9305-1
dc.identifier.urihttp://hdl.handle.net/10072/66648
dc.description.abstractThis 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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeNetherlands
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom245
dc.relation.ispartofpageto269
dc.relation.ispartofissue3
dc.relation.ispartofjournalJournal of Automated Reasoning
dc.relation.ispartofvolume53
dc.rights.retentionY
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchArtificial Intelligence and Image Processing
dc.subject.fieldofresearchComputation Theory and Mathematics
dc.subject.fieldofresearchCognitive Sciences
dc.subject.fieldofresearchcode080199
dc.subject.fieldofresearchcode0801
dc.subject.fieldofresearchcode0802
dc.subject.fieldofresearchcode1702
dc.titleHermiT: An OWL 2 Reasoner
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
dc.description.versionAccepted Manuscript (AM)
gro.rights.copyright© 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.
gro.hasfulltextFull Text
gro.griffith.authorWang, Zhe


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record