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

Research and implementation on OBDD-based decision algorithm for the description logic SHOIQ

作　　者：李德波[1] 古天龙[1] 常亮[1] 高西[1] 

机构地区：[1]桂林电子科技大学计算机科学与工程学院,广西桂林541004

出　　处：《桂林电子科技大学学报》2011年第2期120-124,共5页Journal of Guilin University of Electronic Technology

基　　金：国家自然科学基金(60963010);广西研究生教育创新计划资助项目(2010105950812M24)

摘　　要：描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点。鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法。该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定。最后基于该算法开发了推理机DLR_SHOIQ。Description logic is the logic basic of semantic Web,which has become a hot spot in computer science and artificial intelligence.Because the description logic SHOIQ has the shortage of large-scale problems,but OBDD have an advantage in large-scale problems processing,a satisfiability-checking algorithm based on OBDD is presented in this paper,which transforms the SHOIQ knowledge base into OBDD and judges the consistency of the description logic SHOIQ knowledge base.Finally,DLR_SHOIQ based on the algorithm is implemented.

关 键 词：描述逻辑 一致性 OBDD 可满足性判定 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]