桂林电子科技大学学报2011，Vol.31Issue(2)：120-124,5.
基于OBDD的描述逻辑SHOIQ判定算法研究与实现
Research and implementation on OBDD-based decision algorithm for the description logic SHOIQ
摘要
Abstract
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/可满足性判定Key words
description logic/ consistency/ ordered binary decision diagram/ satisfiability-checking分类
信息技术与安全科学引用本文复制引用
李德波,古天龙,常亮,高西..基于OBDD的描述逻辑SHOIQ判定算法研究与实现[J].桂林电子科技大学学报,2011,31(2):120-124,5.基金项目
国家自然科学基金(60963010) （60963010）
广西研究生教育创新计划资助项目(2010105950812M24) （2010105950812M24）
