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

• 作者: 古天龙 常亮 黄聪
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 描述逻辑 ALC 布尔函数 OBDD 可满足性
• 年，卷（期）: 2012,（3）
• 页码范围: 213-216
• 分类号: TP301
• 字数: 1823字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2012.03.010

摘要

针对描述逻辑ALC的经典判定算法在处理大规模问题上的不足,而OBDD对于处理大规模问题有高效性,给出了一种基于OBDD的ALC判定算法并证明正确性.该算法根据ALC的概念的形式,计算所有子概念和每个子概念的否定形式的集合,然后根据该集合里的每个概念的形式构造出其相应的布尔函数,将布尔函数转化为OBDD的表示形式来进行概念的可满足性判定.

作者信息

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