摘要
描述逻辑是语义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.
出处
《桂林电子科技大学学报》
2011年第2期120-124,共5页
Journal of Guilin University of Electronic Technology
基金
国家自然科学基金(60963010)
广西研究生教育创新计划资助项目(2010105950812M24)
关键词
描述逻辑
一致性
OBDD
可满足性判定
description logic
consistency
ordered binary decision diagram
satisfiability-checking
