Journal article icon

Journal article

HermiT: an OWL 2 reasoner

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 a...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/s10817-014-9305-1

Authors


More by this author
Department:
Computer Science
Role:
Author
More by this author
Department:
Computer Science
Role:
Author
Publisher:
Springer Netherlands Publisher's website
Journal:
Journal of Automated Reasoning
Volume:
53
Issue:
3
Pages:
245-269
Publication date:
2014-01-01
DOI:
EISSN:
1573-0670
ISSN:
0168-7433

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP