描述逻辑εL循环术语集的保守扩充  CNKI文献

在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩...

王勇红 申宇铭... 《计算机科学》 2017年S2期 期刊

基于OBDD的描述逻辑εL循环术语集推理  CNKI文献

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问...

古天龙 吕思菁... 《软件学报》 2014年01期 期刊

描述逻辑εL循环术语集的保守扩充  CNKI文献

在计算机科学中,本体是动态的实体.为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合.在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充...

王勇红 导师:王驹 广西师范大学 2012-04-01 硕士论文

本体知识库的循环不动点语义研究  CNKI文献

描述逻辑作为一种知识表示的有效机制,已经成为构建形式化本体知识库的重要逻辑基础。基于描述逻辑的本体知识库被广泛地应用在智能体间的通信、异构信息源的集成、语义Web等领域。虽然描

尹景磊 导师:吴尽昭 北京交通大学 2010-07-01 硕士论文

gfp-模型的描述逻辑FLε的循环术语集推理  CNKI文献

描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替...

覃俊明 耿继兵... 《计算机工程与应用》 2010年12期 期刊

基于gfp-模型的描述逻辑FLε的循环术语集推理  CNKI文献

描述逻辑(DL)是一族知识表示形式系统,是人工智能领域的一个热门研究方向。以Baader F和Nebel B为代表的学者在描述逻辑上进行了大量富有成果的研究。他们早期的研究方向主要是针对表达能力比较弱的描

覃俊明 导师:王驹 广西师范大学 2009-06-30 硕士论文

描述逻辑εLN循环术语集的不动点语义及推理  CNKI文献

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻

蒋运承 王驹... 《软件学报》 2009年03期 期刊

描述逻辑系统vL循环术语集的可满足性及推理机制  CNKI文献

文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描

王驹 蒋运承... 《中国科学（F辑:信息科学）》 2009年02期 期刊

描述逻辑εL循环术语集的混合推理  CNKI文献

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑

蒋运承 王驹... 《计算机研究与发展》 2009年01期 期刊

描述逻辑εL混合循环术语集的LCS和MSC推理  CNKI文献

分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环...

蒋运承 王驹... 《软件学报》 2008年10期 期刊

关于描述逻辑中不动点语义的讨论  CNKI文献

文章主要讨论了描述逻辑中 Tbox 的最大与最小不动点语义,证明了当某一基解释 J 所诱导的映射为单调时,该 Tbox 存在最大与最小 J-模型,并且该映射的不动点构成一完备格.又由完备格而引出关于不动点的闭包算子及闭包系...

郭秀敏 王国俊 第六届中国不确定系统年会论文集 2008-08-01 中国会议

带RVM的描述逻辑εL混合循环术语集的语义及推...  CNKI文献

分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针...

蒋运承 王驹... 《模式识别与人工智能》 2008年01期 期刊

描述逻辑FL~-循环术语集的语义及推理  CNKI文献

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑

蒋运承 王驹... 《计算机学报》 2008年02期 期刊