10.3969/j.issn.1002-7378.2010.04.004
基于OBDD的描述逻辑ALCIO判定算法
给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定, 实现描述逻辑ALCIO的判定算法.该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合.
描述逻辑、有序二叉决策图、枚举算子、可满足性判定
26
TP301(计算技术、计算机技术)
国家自然科学基金项目60903079, 60963010
2011-03-11(万方平台首次上网日期,不代表论文的发表时间)
共5页
401-405