MORe: Modular Combination of OWL Reasoners for Ontology Classification
MORe: Modular Combination of OWL Reasoners for Ontology Classification
复制标题
DOI：
10.1007/978-3-642-35176-1_1
复制
发表时间：
2012-11
期刊：
影响因子：
--
通讯作者：
A. A. Romero-A.;B. C. Grau;Ian Horrocks
中科院分区：
文献类型：
--
作者：
A. A. Romero-A.;B. C. Grau;Ian Horrocks
分类是本体设计中的一项基本推理任务，目前有多种针对 OWL 2 本体分类进行高度优化的推理器。还有几个完整的 OWL 2 限制片段推理器，例如 OWL 2 EL 配置文件。这些推理器比成熟的 OWL 2 推理器要高效得多，但对于包含相关片段之外的（即使只有几个）公理的本体而言，它们并不完整。在本文中，我们提出了一种新颖的分类技术，它将 OWL 2 推理器和给定片段的高效推理器相结合，从而将大部分工作负载分配给后者。推理器以黑盒模块化方式组合，其实现的细节（甚至推理技术）与我们的方法无关。
Classification is a fundamental reasoning task in ontology design, and there is currently a wide range of reasoners highly optimised for classification of OWL 2 ontologies. There are also several reasoners that are complete for restricted fragments of OWL 2 , such as the OWL 2 EL profile. These reasoners are much more efficient than fully-fledged OWL 2 reasoners, but they are not complete for ontologies containing (even if just a few) axioms outside the relevant fragment. In this paper, we propose a novel classification technique that combines an OWL 2 reasoner and an efficient reasoner for a given fragment in such a way that the bulk of the workload is assigned to the latter. Reasoners are combined in a black-box modular manner, and the specifics of their implementation (and even of their reasoning technique) are irrelevant to our approach.