基于OBDD的描述逻辑ALCIO判定算法

• 作者: 古天龙 常亮 李德波 高申
• 来源期刊: 广西科学院学报
• 学科: 工学
• 关键词: 描述逻辑 有序二叉决策图 枚举算子 可满足性判定
• 年，卷（期）: 2010,（4）
• 页码范围: 401-405
• 分类号: TP301
• 字数: 4371字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7378.2010.04.004

摘要

给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定, 实现描述逻辑ALCIO的判定算法.该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机科学与工程学院	207	1546	18.0	30.0
2	常亮	桂林电子科技大学计算机科学与工程学院	77	450	12.0	17.0
3	高申	桂林电子科技大学计算机科学与工程学院	2	0	0.0	0.0
4	李德波	桂林电子科技大学计算机科学与工程学院	2	0	0.0	0.0