期刊
JOURNAL OF AUTOMATED REASONING
卷 53, 期 3, 页码 245-269出版社
SPRINGER
DOI: 10.1007/s10817-014-9305-1
关键词
Ontologies; OWL; Class classification; Property classification; Optimisations
资金
- EPSRC project ExODA
- EPSRC project MaSI3
- Engineering and Physical Sciences Research Council [EP/K00607X/1, EP/F065841/1, EP/H051511/1, EP/L012138/1] Funding Source: researchfish
- EPSRC [EP/F065841/1, EP/K00607X/1, EP/H051511/1, EP/L012138/1] Funding Source: UKRI
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据