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