Conference icon

Conference

The HermiT OWL Reasoner

Abstract:

HermiT is the only reasoner we know of that fully supports the OWL 2 standard, and that correctly reasons about properties as well as classes. It is based on a novel "hypertableau" calculus that addresses performance problems due to nondeterminism and model size-the primary sources of complexity in state-of-the-art OWL reasoners. HermiT also incorporates a number of novel optimizations, including an optimized ontology classification procedure. Our tests show that HermiT performs well compared...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science

Contributors

Role:
Editor
Role:
Editor
More from this funder
Grant:
(FP7/2007-2013) Project SEALS
Publisher:
CEUR Workshop Proceedings Publisher's website
Volume:
858
Issue:
3
Pages:
245-269
Publication date:
2012-07-01
ISSN:
1613-0073
URN:
uuid:5f523a1b-6434-4f41-b44e-ca888ef90350
Source identifiers:
433894
Local pid:
pubs:433894

Terms of use


Metrics



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

TO TOP