|
|||||
|
|
| 一种在DL-Lite中计算本体最小不可满足保持子集的算法 | |
| 引用本文： | 周丽平,黄厚宽,漆桂林,瞿有利,季秋.一种在DL-Lite中计算本体最小不可满足保持子集的算法[J].计算机研究与发展,2011,48(12). |
| 作者姓名： | 周丽平 黄厚宽 漆桂林 瞿有利 季秋 |
| 作者单位： | 1. 北京交通大学计算机与信息技术学院 北京 100044;北京北方计算中心 北京100091 2. 北京交通大学计算机与信息技术学院 北京 100044 3. 东南大学计算机科学与工程学院 南京 211189 |
| 基金项目： | 国家“九七三”重点基础研究发展计划基金项目(2007CB307100,2007CB307106); 国家自然科学基金项目(61003157); 北京市科技计划基金项目(Z09050600910902) |
| 摘 要： | 在本体工程中,寻找不可满足概念或角色的本体最小不可满足保持子集是一个重要的研究课题,因为它可以提供一些有用的信息用于处理本体的不一致任务,比如分析本体、调试本体、修改本体等.现有的方法主要面向推理复杂度很高的高表达能力描述逻辑(DL).针对低复杂度描述逻辑DL-Lite,通过分析DL-Lite中不可满足概念或角色所具有的特点,提出了一种有效地计算DL-Lite本体中不可满足概念或角色的本体最小不可满足保持子集的算法.最后将算法与当前最有代表性的算法进行了比较,结果表明所提出的算法对于DL-Lite本体来说是有效的. |
| 关 键 词： | 语义Web 描述逻辑 DL-Lite 本体 MUPS |
An Algorithm for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite |
|
| Zhou Liping,Huang Houkuan,Qi Guilin,Qu Youli,Ji Qiu.An Algorithm for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite[J].Journal of Computer Research and Development,2011,48(12). | |
| Authors: | Zhou Liping Huang Houkuan Qi Guilin Qu Youli Ji Qiu |
| Affiliation: | Zhou Liping1,2,Huang Houkuan1,Qi Guilin3,Qu Youli1,and Ji Qiu3 1(School of Computer and Information Technology,Beijing Jiaotong University,Beijing 100044) 2(Beijing North Computing Center,Beijing 100091) 3(School of Computer Science and Engineering,Southeast University,Nanjing 211189) |
| Abstract: | Inconsistencies occur frequently in ontology lifecycle, such as ontology construction, ontology evolution and ontology merging. Handling inconsistencies, especially, handling logical inconsistency in ontologies is increasingly recognized as an important research topic. Finding all the MUPS (minimal unsatisfiability-preserving sub-TBox) of an ontology for an unsatisfiable concept or role is an important problem because it can provide valuable information for many different tasks of inconsistency handling, su... |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |