描述逻辑中基于边界的模块提取方法

摘要：

模块化是优化本体推理的一种有效的手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块.文中给出该基于边界的模块的理论基础,并证明了其模块的正确性.在评估实验中,通过与最优模块和符号模块进行比较,基于边界的模块和最优模块大小很接近,非常适合对推理进行优化.

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

所属期刊栏目：45

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金,The National Natural Science Foundation of China under Grant 6067501

在线出版日期：2009-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：36-38,90