李德波
- 作品数：5 被引量：0H指数：0
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西研究生教育创新计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OBDD的描述逻辑SHOIQ判定算法研究与实现
- 2011年
- 描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点。鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法。该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定。最后基于该算法开发了推理机DLR_SHOIQ。
- 李德波古天龙常亮高西
- 关键词：描述逻辑一致性OBDD可满足性判定
- 基于OBDD的描述逻辑ALCIO判定算法
- 本文对基于OBDD的描述逻辑ALCIO判定算法进行了研究。给定描述逻辑ALCJO中的任一知识库，应用NNF变换和FLAT规则对其进行预处理，通过一个重构过程将知识库中TBox模型转化为布尔函数，然后将布尔函数转换为有序二...
- 常亮高申李德波古天龙
- 关键词：描述逻辑有序二叉决策图可满足性判定
- 基于OBDD的描述逻辑ALCIO判定算法
- 有序二叉决策图是一种新型的数据结构,在大规模模型检测和验证等领域已经得到了成功应用,在逻辑公式的可满足性判定方面也具有巨大的应用潜力。本文基于OBDD实现了描述逻辑ALCIO的判定算法。首先从ALCIO本体出发,应用NN...
- 常亮高申李德波古天龙
- 关键词：描述逻辑OBDD
- 文献传递
- 基于OBDD的描述逻辑推理算法研究
- 描述逻辑作为一类知识表示的形式化工具，在信息系统、软件工程、自然语言处理等领域已得到了成功应用。特别是随着近年来语义Web的发展，描述逻辑更是扮演着重要的角色，目前已成为语义Web本体语言OWL的逻辑基础。随着基于描述逻...
- 李德波
- 关键词：描述逻辑有序二叉决策图
- 文献传递
- 基于OBDD的描述逻辑ALCIO判定算法
- 2010年
- 给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定,实现描述逻辑ALCIO的判定算法。该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合。
- 常亮高申李德波古天龙
- 关键词：描述逻辑有序二叉决策图可满足性判定
