Back to Search
Start Over
The HermiT OWL Reasoner
- Source :
- ORE 2012: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation. 858(3)
- Publication Year :
- 2012
-
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 to existing tableau reasoners and is often much faster when classifying complex ontologies.
Details
- ISSN :
- 16130073
- Volume :
- 858
- Issue :
- 3
- Database :
- OpenAIRE
- Journal :
- ORE 2012: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation
- Accession number :
- edsair.od......1064..2832d28b8671772e9ea2398156c323c7