描述逻辑中基于边界模块的推理方法

Reasoning by using boundary-based module in description logics

模块化是优化本体推理的一种有效手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。给出该基于边界的模块的理论基础,并证明了其模块的正确性。评估实验表明,基于边界的模块和最优模块大小很接近,并使用边界模块进行推理后,推理性能显著提高。

Modularization is a very important technique that bears good promises of effectiveness towards sealability in ontology reasoning. Driven by the great benefits, this paper proposed a novel module extraction method for reasoning tasks, calculated boundary-based module in this method by analyzing the relationship between axioms and boundary for interpretation of symbols. This paper established the theory foundation for boundary-based module and proved it was correct for reasoning task. Experiments show that boundary-based module is very close to the optimal module and improvement on performance of reasoning by using boundary-based module is notable.