The HermiT OWL Reasoner
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 comp...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
CEUR Workshop Proceedings
2012
|