基于OBDD的描述逻辑SHOIQ判定算法研究与实现

• 作者: 古天龙 常亮 李德波 高西
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 描述逻辑 一致性 OBDD 可满足性判定
• 年，卷（期）: 2011,（2）
• 页码范围: 120-124
• 分类号: TP301
• 字数: 4771字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2011.02.008

摘要

描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点.鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法.该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定.最后基于该算法开发了推理机DLR_SHOIQ.

作者信息

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