一种不一致本体的可废止推理系统

• 作者: 史忠植 彭志平 柯文德
• 来源期刊: 华中科技大学学报：自然科学版
• 学科: 工学
• 关键词: 语义Web 本体 不一致性 非单调推理 描述逻辑 可废止逻辑
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 计算机与控制工程
• 页码范围: 40-44
• 分类号: TP182
• 语种: 中文

摘要

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史忠植	中国科学院智能信息处理重点实验室	232	9166	52.0	89.0
2	柯文德	广东石油化工学院计算机科学与技术系	57	230	8.0	12.0