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

• 作者: 刘秋让 方俊 牛悦
• 来源期刊: 计算机应用研究
• 关键词: 模块提取 边界 推理 解释 描述逻辑
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 2912-2914,2920
• 页数: 4页
• 分类号: TP181
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.08.032

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牛悦	西北工业大学软件与微电子学院	3	14	1.0	3.0
2	刘秋让	西北工业大学计算机学院	9	109	4.0	9.0
3	方俊	西北工业大学自动化学院	17	171	6.0	13.0