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

Reasoning by using boundary-based module in description logics

作　　者：牛悦[1] 刘秋让[2] 方俊[3] 

机构地区：[1]西北工业大学软件与微电子学院,西安710072 [2]西北工业大学计算机学院,西安710072 [3]西北工业大学自动化学院,西安710072

出　　处：《计算机应用研究》2009年第8期2912-2914,2920,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(6067501)

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

关 键 词：模块提取 边界 推理 解释 描述逻辑 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]