一种基于缺省规则的推理算法

• 作者: 张彪 文坤梅 许家伟
• 来源期刊: 微电子学与计算机
• 关键词: 描述逻辑 缺省规则 推理算法
• 年，卷（期）: 2011,（3）
• 页码范围: 111-114
• 分类号: TP311
• 语种: 中文

摘要

提出了一种将特定缺省规则转换成描述逻辑 Abox 实例的推理算法,该算法针对特定缺省规则的改变通常不影响 Tbox 的情况,将缺省规则映射成为 Abox 中实例的变化,简化了推理过程,同时保持描述逻辑推理的可判定性,具有较好的可行性,并通过推理实例验证了该算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	文坤梅	华中科技大学计算机学院	22	363	10.0	19.0
2	张彪	武汉纺织大学机电学院	2	1	1.0	1.0