Towards Soundness Preserving Approximation for ABox Reasoning of OWL2
Towards Soundness Preserving Approximation for ABox Reasoning of OWL2
复制标题
OWL2 ABox 推理的稳健性保持近似
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Yuting Zhao
中科院分区：
文献类型：
--
作者：
Y. Ren;Jeff Z. Pan;Yuting Zhao
在大规模描述逻辑（DL）知识库中进行推理，例如本体，对于许多语义丰富的系统的成功是重要的。现有的方法，如基于表的方法和析取数据方法，其性能受到其理论最坏情况复杂度界限的限制。在本文中，我们提出了一种保持稳健性的近似推理方法来解决这个问题。我们首先将OWL2-DL的主要部分DL RO中的本体近似为OWL2-EL的基础DL el++，再加上一个维护概念名称之间互补关系的附加表。然后，我们可以在TBox内部或外部执行ABox推理，并使用附加的补全规则。逼近和推理可以在PTIME中进行。我们的初步评估表明，我们的方法可以在现实世界和基准本体上优于现有的深度学习推理器。
ABoxReasoninginlarge scaledescription logic(DL)knowledgebases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing approaches, such as the tableau-based approach, and the disjunctive datalog approach, is restricted by their theoretical worst case com- plexity bound. In this paper, we propose a soundness-preserving approximate reasoning approach to address this issue. We first approximate an ontology in DL RO, a major fragment of OWL2-DL, to DL EL ++ , the underpin of OWL2-EL, plus an additional table maintaining the complementary relations between con- cept names. Then we can perform ABox reasoning either internally, or externally of the TBox with additional completion rules. The approximation and reasoning can be performed in PTIME. Our preliminary evaluation shows that our approach can outperform existing DL reasoners on real world and benchmark ontologies.
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
影响因子：
5
作者：
Motik, Boris;Shearer, Rob;Horrocks, Ian
通讯作者：
Horrocks, Ian