您的位置： 专家智库 > >

中国博士后科学基金(20060400226)

作品数：7 被引量：38H指数：4
相关作者：蒋运承汤庸王驹周生明甘丹更多>>
相关机构：广西师范大学中山大学更多>>
发文基金：中国博士后科学基金国家自然科学基金广西青年科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 7篇自动化与计算...
  • 1篇理学

主题

  • 6篇描述逻辑
  • 2篇不动点语义
  • 1篇信息检索
  • 1篇循环术语集
  • 1篇映射
  • 1篇语义
  • 1篇语义WEB
  • 1篇知识表示
  • 1篇深层网络
  • 1篇特征选择算法
  • 1篇网络
  • 1篇面向语义
  • 1篇模糊描述逻辑
  • 1篇分类器
  • 1篇概念图
  • 1篇RVM
  • 1篇TABLEA...
  • 1篇WEB
  • 1篇CIM模型
  • 1篇DEEP_W...

机构

  • 7篇广西师范大学
  • 5篇中山大学

作者

  • 7篇蒋运承
  • 5篇王驹
  • 5篇汤庸
  • 4篇周生明
  • 2篇甘丹
  • 1篇王继军
  • 1篇谭春亮
  • 1篇申宇铭
  • 1篇王军
  • 1篇陈丽娜

传媒

  • 2篇计算机研究与...
  • 2篇模式识别与人...
  • 1篇微电子学与计...
  • 1篇计算机工程与...
  • 1篇计算机科学

年份

  • 1篇2009
  • 3篇2008
  • 3篇2007
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
带RVM的描述逻辑εL混合循环术语集的语义及推理被引量：3
2008年
分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的.
蒋运承王驹周生明汤庸
关键词：描述逻辑不动点语义
面向语义Web的描述逻辑被引量：17
2007年
分析描述逻辑 SHOIQ(D)与语义 Web 的关系,特别是 SHOIQ(D)与语义 Web 本体语言的等价性.但由于SHOIQ(D)的复杂性,目前只给出它的语法和语义,还没有研究给出它的推理机制.在描述逻辑 SHOIQ 推理机制的基础上,首先提出 SHOIQ(D)的 tableaux 的概念.然后重点研究基于 tableaux 的 SHOIQ(D)的推理机制,提出SHOIQ(D)-tableaux 推理算法,并证明该算法的正确性.
蒋运承汤庸王驹周生明
关键词：语义WEB描述逻辑
基于描述逻辑的CIM模型
2007年
分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法,也证明了这些判断方法的正确性。
蒋运承汤庸王驹周生明
关键词：描述逻辑CIM模型
基于Tabu的Deep Web特征选择算法被引量：1
2008年
Deep Web分类的小样本、高维特征的特点限制了分类算法的选择,影响分类器的设计和准确度,降低了分类器的"泛化"能力,出现分类器"过拟合",所以需要进行特征选择,降低特征的维数,避免"维数灾难"。目前,没有Deep Web特征选择自动算法的相关研究。通过对Deep Web分类的特征选择进行研究,提出了基于类别可分性判据和Tabu搜索的特征选择算法,可以在2的时间复杂度内得到次优的特征子集,减小了分类器设计的难度,提高了分类器分类准确率。根据特征选择前后的特征集,利用KNN分类算法进行Deep Web分类,结果表明提高了分类器的分类准确率,降低了分类算法的时间复杂度。
谭春亮甘丹陈丽娜蒋运承
关键词：TABU搜索算法深层网络信息检索分类器
基于描述逻辑的概念图推理被引量：5
2008年
分析了概念图在知识表示领域的重要性及其存在的问题,提出了一种基于描述逻辑的具有自动推理功能的扩展概念图。针对概念图的特点和需求,给出了将概念图的一个子集转化为描述逻辑知识库的方法,并证明了该方法的正确性。同时给出了其知识库的一致性、包含关系的自动判断方法,也证明了这些判断方法的正确性。
王军王继军甘丹蒋运承
关键词：知识表示概念图描述逻辑
描述逻辑εL循环术语集的混合推理被引量：4
2009年
循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义).针对εL循环术语集混合推理的需要,提出了TBox-完全的概念,并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.
蒋运承王驹周生明汤庸
关键词：描述逻辑循环术语集不动点语义
模糊描述逻辑FALNUI的tableaux推理被引量：12
2007年
分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FAL-NUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础.
蒋运承汤庸王驹申宇铭
关键词：描述逻辑模糊描述逻辑TABLEAUX
全选 清除 导出
共1页<1>
聚类工具0