HermiT: an OWL 2 reasoner

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

Full description

Bibliographic Details
Main Authors: Glimm, B, Horrocks, I, Motik, B, Stoilos, G, Wang, Z
Format: Journal article
Language:English
Published: Springer Netherlands 2014
Subjects: