使用边界模块优化EL++本体推理

• 作者: 方俊 杨宁 郭雷
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 边界 模块提取 推理优化 公理模块
• 年，卷（期）: 2009,（4）
• 页码范围: 482-485
• 页数: 4页
• 分类号: TP311
• 字数: 1018字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2009.04.014

摘要

为了优化本体推理, 提出了一种在EL++本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块, 对于与推理任务中所有符号相关的公理集合, 采用边界分割和交集计算来提取最终的边界模块, 并提高模块的紧凑性.模块的正确性通过计算和推理任务中符号直接和间接相关的公理得到保证.给出了边界模块的理论基础和求解算法, 并通过符号边界和逻辑蕴涵之间的关系证明了模块的正确性.边界模块提取方法在EL++描述逻辑语言上进行了实现,现实的本体实验评估表明, 基于边界模块的推理比不采用模块的推理在性能上有很大的提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭雷	西北工业大学自动化学院	262	2986	27.0	40.0
2	方俊	西北工业大学自动化学院	17	171	6.0	13.0
3	杨宁	西北工业大学自动化学院	36	209	9.0	12.0