|
|||||
|
|
| 一种不一致本体的可废止推理系统 | |
| 引用本文： | 彭志平,柯文德,史忠植.一种不一致本体的可废止推理系统[J].华中科技大学学报(自然科学版),2012,40(1):40-44. |
| 作者姓名： | 彭志平 柯文德 史忠植 |
| 作者单位： | 1. 广东石油化工学院计算机科学与技术系,广东茂名525000／中国科学院智能信息处理重点实验室,北京100190 2. 广东石油化工学院计算机科学与技术系,广东茂名,525000 3. 中国科学院智能信息处理重点实验室,北京,100190 |
| 基金项目： | 广东省自然科学基金资助项目，广东省教育部产学研结合项目，广东省科技计划资助项目 |
| 摘 要： | 利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质. |
| 关 键 词： | 语义Web 本体 不一致性 非单调推理 描述逻辑 可废止逻辑 |
A defeasible reasoning system for inconsistent ontologies |
|
| Peng Zhiping,Ke Wende,Shi Zhongzhi.A defeasible reasoning system for inconsistent ontologies[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2012,40(1):40-44. | |
| Authors: | Peng Zhiping Ke Wende Shi Zhongzhi |
| Institution: | 1 Department of Computer Science and Technology,Guangdong University of Petrochemical Technology,Maoming 525000,Guangdong China;2 Key Laboratory of Intelligent Information Processing,Chinese Academy of Sciences,Beijing 100190,China) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |