基于OBDD的εL(-)本体判定算法

• 作者: 古天龙 高申
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 描述逻辑 一致性 Tableau-算法 有序二叉决策图
• 年，卷（期）: 2010,（2）
• 页码范围: 132-136
• 分类号: TP301.6
• 字数: 4912字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2010.02.010

摘要

有序二叉决策图(OBDD)是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可满足性判定方面也具有巨大的应用潜力.通过采用OBDD实现了描述逻辑εL(一)判定算法.以基于OBDD的SHIQ判定算法为基础,针对描述逻辑εL(一)进行了优化,应用标准化规则取代了FLAT规则,重构了知识库模型,进而将该模型转化为满足3CNF(每个从句含有3个变元的合取形式)约束的布尔函数并利用OBDD进行可满足性判定,并以实例对算法过程进行了演示.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机与控制学院	207	1546	18.0	30.0
2	高申	桂林电子科技大学计算机与控制学院	2	0	0.0	0.0