| 一种新的DL-Lite不一致容忍语义 |
| |
| 引用本文： | 刘邱云,付雪峰. 一种新的DL-Lite不一致容忍语义[J]. 江西师范大学学报(自然科学版), 2016, 40(4): 382-385 |
| |
| 作者姓名： | 刘邱云 付雪峰 |
| |
| 作者单位： | 1.江西师范大学数学与信息科学学院,江西 南昌 330022; 2.南昌工程学院信息工程学院,江西 南昌 330099 |
| |
| 摘 要： | 在本体工程中,处于演变过程中的本体常出现不一致性问题,这将导致基于本体的推理失效.为解决推理失效的问题,提出了一种新的处理DL-Lite本体实例断言中冲突的不一致容忍语义,讨论了新的不一致容忍语义与已有的不一致容忍语义的关系,给出了在新定义的不一致容忍语义下的修复算法并做了新语义下推理任务的复杂度分析.
|
| 关 键 词： | DL-Lite 合取查询 不一致处理 不一致容忍语义 |
The New Inconsistency-Tolerant Semantics for DL-Lite |
| |
| LIU Qiuyun,FU Xuefeng. The New Inconsistency-Tolerant Semantics for DL-Lite[J]. Journal of Jiangxi Normal University (Natural Sciences Edition), 2016, 40(4): 382-385 |
| |
| Authors: | LIU Qiuyun FU Xuefeng |
| |
| Affiliation: | 1.College of Mathematics and Information Science,Jiangxi Normal University,Nanchang Jiangxi 330022,China; 2.School of Information Engineering,Nanchang Institute of Technology,Nanchang Jiangxi 330099,China |
| |
| Abstract: | In ontology engineering,inconsistency will appear in the evolution process of ontologies and the inconsistency of ontologies will lead to the invalidity of reasoning.In order to resolve the problem of reasoning invalid,a new inconsistency-tolerant semantics for dealing with inconsistencies in DL-Lite ontologies has been proposed.The advantage of our inconsistency-tolerant semantics over existing ones has been discussed and the data complexity of union of conjunction queries entailment under the new semantics has been studied. |
| |
| Keywords: | DL-Lite conjunction query inconsistency handing inconsistency-tolerant |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《江西师范大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《江西师范大学学报(自然科学版)》下载全文 |
