| 一种基于图的DL-Lite本体最小不可满足保持子集的计算方法 |
| |
| 引用本文： | 付雪峰,漆桂林,张勇.一种基于图的DL-Lite本体最小不可满足保持子集的计算方法[J].电子学报,2016,44(9):2040-2045. |
| |
| 作者姓名： | 付雪峰 漆桂林 张勇 |
| |
| 作者单位： | 1. 南昌工程学院信息工程学院, 江西南昌 330099;
2. 东南大学计算机科学与工程学院, 江苏南京 210096 |
| |
| 基金项目： | 国家“八六三”高技术研究发展计划基金项目(No．2015AA015406)；国家自然科学基金(No．61272378)；江西省教育厅青年科学基金项目(GJJ12643) |
| |
| 摘 要： | 演变中的本体常出现不一致性问题，这将导致标准推理失效.针对不一致性问题，最小不可满足保持子集能够提供本体中概念不可满足的解释.计算最小不可满足保持子集是本体工程中的一项重要的非标准推理任务，但多数计算方法须借助外部的推理机，导致计算的效率不高.为了减少对推理机的依赖，本文提出了一种基于图的最小不可满足保持子集的计算方法.新的方法面向DL-Lite描述逻辑家族，将DL-Lite本体转换成图，将本体中的最小不可满足保持子集转换成图上的最小不可满足保持路径对.对比实验表明，基于图的方法提高了计算的效率和稳定性.
|
| 关 键 词： | 本体 描述逻辑 不一致处理 最小不可满足保持子集 |
| 收稿时间： | 2015-06-24 |
A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in D L-Lite |
| |
| FU Xue-feng,QI Gui-lin,ZHANG Yong.A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in D L-Lite[J].Acta Electronica Sinica,2016,44(9):2040-2045. |
| |
| Authors: | FU Xue-feng QI Gui-lin ZHANG Yong |
| |
| Affiliation: | 1. School of Information Engineering, Nanchang Institute of Technology, Nanchang, Jiangxi 330099, China;
2. School of Computer Science and Engineering, Southeast University, Nanjing, Jiangsu 210096, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
