高申
- 作品数：6 被引量：0H指数：0
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OBDD的ℇL（¬）和ALCIO本体判定算法研究
- 描述逻辑(DL)作为一类用于知识表示的形式化工具,具有较强的表达能力和可判定性。近年来,随着语义Web的兴起,描述逻辑成为了知识表示领域的研究热点。在关于描述逻辑的研究课题中,一个关键的问题是如何设计有效的推理算法。尽管...
- 高申
- 关键词：描述逻辑本体论有序二叉决策图
- 基于OBDD的描述逻辑ALCIO判定算法
- 2010年
- 给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定,实现描述逻辑ALCIO的判定算法。该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合。
- 常亮高申李德波古天龙
- 关键词：描述逻辑有序二叉决策图可满足性判定
- 基于OBDD的描述逻辑ALCIO判定算法
- 本文对基于OBDD的描述逻辑ALCIO判定算法进行了研究。给定描述逻辑ALCJO中的任一知识库，应用NNF变换和FLAT规则对其进行预处理，通过一个重构过程将知识库中TBox模型转化为布尔函数，然后将布尔函数转换为有序二...
- 常亮高申李德波古天龙
- 关键词：描述逻辑有序二叉决策图可满足性判定
- 基于OBDD的描述逻辑ALCIO判定算法
- 有序二叉决策图是一种新型的数据结构,在大规模模型检测和验证等领域已经得到了成功应用,在逻辑公式的可满足性判定方面也具有巨大的应用潜力。本文基于OBDD实现了描述逻辑ALCIO的判定算法。首先从ALCIO本体出发,应用NN...
- 常亮高申李德波古天龙
- 关键词：描述逻辑OBDD
- 文献传递
- 基于OBDD的εL^(￢)本体判定算法
- 2010年
- 有序二叉决策图(OBDD)是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可满足性判定方面也具有巨大的应用潜力。通过采用OBDD实现了描述逻辑εL(￢)判定算法。以基于OBDD的SHIQ判定算法为基础,针对描述逻辑εL(￢)进行了优化,应用标准化规则取代了FLAT规则,重构了知识库模型,进而将该模型转化为满足3CNF(每个从句含有3个变元的合取形式)约束的布尔函数并利用OBDD进行可满足性判定,并以实例对算法过程进行了演示。
- 高申古天龙
- 关键词：描述逻辑一致性有序二叉决策图
- 基于OBDD的?L（?）和ALCIO本体判定算法研究
- 描述逻辑(DL)作为一类用于知识表示的形式化工具,具有较强的表达能力和可判定性。近年来,随着语义Web的兴起,描述逻辑成为了知识表示领域的研究热点。在关于描述逻辑的研究课题中,一个关键的问题是如何设计有效的推理算法。尽管...
- 高申
- 关键词：描述逻辑本体论有序二叉决策图
- 文献传递
