|
|||||
|
|
| 描述逻辑中基于边界模块的推理方法* | |
| 引用本文： | 牛 悦,刘秋让,方 俊c.描述逻辑中基于边界模块的推理方法*[J].计算机应用研究,2009,26(8):2912-2914. |
| 作者姓名： | 牛 悦 刘秋让 方 俊c |
| 作者单位： | 1. 西北工业大学,软件与微电子学院,西安710072 2. 西北工业大学,计算机学院,西安710072 3. 西北工业大学,自动化学院,西安710072 |
| 基金项目： | 国家自然科学基金资助项目（6067501） |
| 摘 要： | 模块化是优化本体推理的一种有效手段，提出了一种针对推理的模块提取方法，该方法通过分析符号 解释域的边界与公理之间的关系计算出基于边界的模块。给出该基于边界的模块的理论基础，并证明了其模块 的正确性。评估实验表明，基于边界的模块和最优模块大小很接近，并使用边界模块进行推理后，推理性能显著 提高。 |
| 关 键 词： | 模块提取 边界 推理 解释 描述逻辑 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 | |
| 点击此处可从《计算机应用研究》下载全文 | |