Modular Combination of Reasoners for Ontology Classification
Modular Combination of Reasoners for Ontology Classification
复制标题
本体分类推理器的模块化组合
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Ian Horrocks
中科院分区：
文献类型：
--
作者：
A. A. Romero;B. C. Grau;Ian Horrocks
分类是本体设计中的基本推理任务，并且目前存在针对SROIQ本体的分类进行高度优化的各种推理机。然而，现有的推理机，不利用的事实，大多数公理在许多现实的SROIQ本体表示在一些轻量级的DL，如EL。在本文中，我们提出了一种新颖的推理技术，该技术允许我们仅依赖给定轻量级DL的推理机来对SROIQ本体签名的大子集进行完全分类。我们还展示了如何利用这些信息，然后由成熟的SROIQ推理HermiT完成本体的分类。
Classification is a fundamental reasoning task in ontology design, and there is currently a wide range of reasoners highly optimised for classification of SROIQ ontologies. Existing reasoners, however, do not exploit the fact that most of the axioms in many realistic SROIQ ontologies are expressed in some lightweight DL, such as EL. In this paper, we propose a novel reasoning technique that allows us to completely classify a large subset of the signature of a SROIQ ontology by relying only on a reasoner for a given lightweight DL. We also show how this information can then be exploited by the fully-fledged SROIQ reasoner HermiT to complete the classification of the ontology.
登录
查看更多内容
DOI：
10.1007/s10817-007-9077-y
发表时间：
2007-10
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Dmitry Tsarkov;Ian Horrocks;P. Patel-Schneider
通讯作者：
Dmitry Tsarkov;Ian Horrocks;P. Patel-Schneider
DOI：
10.1016/j.websem.2011.12.007
发表时间：
2012-07
期刊：
J. Web Semant.
影响因子：
--
作者：
Birte Glimm;Ian Horrocks;B. Motik;Rob Shearer;G. Stoilos
通讯作者：
Birte Glimm;Ian Horrocks;B. Motik;Rob Shearer;G. Stoilos
影响因子：
5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike
影响因子：
2.5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike