|
|||||
|
|
| 基于OBDD的描述逻辑ALCIO判定算法 | |
| 引用本文： | 常亮,高申,李德波,古天龙.基于OBDD的描述逻辑ALCIO判定算法[J].广西科学院学报,2010,26(4):401-405. |
| 作者姓名： | 常亮 高申 李德波 古天龙 |
| 作者单位： | 桂林电子科技大学计算机科学与工程学院,广西桂林541004 |
| 摘 要： | 给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定,实现描述逻辑ALCIO的判定算法。该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合。 |
| 关 键 词： | 描述逻辑 有序二叉决策图 枚举算子 可满足性判定 |
| 收稿时间： | 2010/9/21 0:00:00 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《广西科学院学报》浏览原始摘要信息 | |
| 点击此处可从《广西科学院学报》下载免费的PDF全文 | |