HermiT: An OWL 2 Reasoner
HermiT: An OWL 2 Reasoner
复制标题
DOI：
10.1007/s10817-014-9305-1
复制
发表时间：
2014-10-01
期刊：
影响因子：
--
通讯作者：
Wang, Zhe
中科院分区：
文献类型：
--
作者：
Glimm, Birte;Horrocks, Ian;Wang, Zhe
该系统描述论文介绍了OWL 2推理者隐士。推理器完全符合由万维网联盟（W3C）标准化的OWL 2直接语义。隐士基于Hypertableau演算，它支持广泛的标准和新颖的优化，以改善现实本体论的推理性能。除了标准的猫头鹰2个累及检查的推理任务外，Hermit还支持几种专业推理服务，例如类和物业分类，以及猫头鹰2标准之外的一系列功能，例如DL-SAFE规则，SPARQL查询和描述图形。我们讨论系统的体系结构，并概述用于支持上述推理任务的技术。我们进一步将隐士推理的表现与事实++和Pellet的表现进行了比较，而其他受欢迎的猫头鹰2个推理者则进行了比较。
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 as class and property classification, as well as a range of features outside the OWL 2 standard such as DL-safe rules, SPARQL queries, and description graphs. We discuss the system's architecture, and we present an overview of the techniques used to support the mentioned reasoning tasks. We further compare the performance of reasoning in HermiT with that of FaCT++ and Pellet-two other popular and widely used OWL 2 reasoners.