您的位置： 专家智库 > >

广西青年科学基金(0640030)

作品数：19 被引量：127H指数：9
相关作者：蒋运承王驹汤庸余泉周生明更多>>
相关机构：广西师范大学中山大学黔南民族师范学院更多>>
发文基金：广西青年科学基金国家自然科学基金广东省自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

  • 19篇中文期刊文章

领域

  • 17篇自动化与计算...
  • 2篇理学

主题

  • 14篇描述逻辑
  • 3篇语义
  • 3篇语义WEB
  • 3篇旅游
  • 3篇旅游信息
  • 3篇本体
  • 2篇循环术语集
  • 2篇类图
  • 2篇基于语义
  • 2篇OWL
  • 2篇UML类图
  • 2篇WEB
  • 2篇不动点语义
  • 1篇动态描述逻辑
  • 1篇信息抽取
  • 1篇信息集成
  • 1篇信息检索
  • 1篇形式化
  • 1篇形式化方法
  • 1篇引擎

机构

  • 17篇广西师范大学
  • 7篇中山大学
  • 2篇贺州学院
  • 2篇黔南民族师范...
  • 1篇桂林电子科技...
  • 1篇毕节学院
  • 1篇中国科学院

作者

  • 14篇蒋运承
  • 13篇王驹
  • 7篇汤庸
  • 3篇周生明
  • 3篇余泉
  • 2篇甘丹
  • 2篇谭春亮
  • 2篇申宇铭
  • 2篇陈振庆
  • 1篇甘晓丽
  • 1篇马莉
  • 1篇史忠植
  • 1篇张红
  • 1篇曹发生
  • 1篇冀高峰
  • 1篇邓培民
  • 1篇施雅贤
  • 1篇刘真环
  • 1篇陈立娜
  • 1篇王军

传媒

  • 4篇计算机研究与...
  • 2篇模式识别与人...
  • 2篇计算机学报
  • 2篇广西师范大学...
  • 2篇微电子学与计...
  • 2篇计算机工程与...
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇南京大学学报...
  • 1篇计算机与信息...
  • 1篇中国科学：信...

年份

  • 1篇2010
  • 4篇2009
  • 6篇2008
  • 7篇2007
  • 1篇2006
共 19 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
循环ALCN-Tbox具有模型的条件被引量：16
2008年
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.
曹发生余泉王驹蒋运承
关键词：NAMESYMBOL
基于语义Web的旅游信息服务的研究与应用被引量：1
2007年
本文提出了一种基于语义Web的旅游信息服务应用的新架构,并给出了实现此服务应用的构建方法。该方法通过本体来增强服务描述语义,利用OWL本体描述语言来表示旅游本体的语义信息,通过基于本体的描述逻辑的推理有效地实现旅游信息的语义化查询和智能化服务。
甘丹谭春亮王军
关键词：语义WEB本体OWL
一种分布式动态描述逻辑被引量：20
2006年
分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法:直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足.
蒋运承史忠植汤庸王驹
关键词：描述逻辑动态描述逻辑语义WEB
面向语义Web的描述逻辑被引量：17
2007年
分析描述逻辑 SHOIQ(D)与语义 Web 的关系,特别是 SHOIQ(D)与语义 Web 本体语言的等价性.但由于SHOIQ(D)的复杂性,目前只给出它的语法和语义,还没有研究给出它的推理机制.在描述逻辑 SHOIQ 推理机制的基础上,首先提出 SHOIQ(D)的 tableaux 的概念.然后重点研究基于 tableaux 的 SHOIQ(D)的推理机制,提出SHOIQ(D)-tableaux 推理算法,并证明该算法的正确性.
蒋运承汤庸王驹周生明
关键词：语义WEB描述逻辑
基于描述逻辑的UML类图一致性检测被引量：7
2009年
为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案。该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测。最后以实例证明了该方案的可行性。
陈振庆
关键词：UML类图描述逻辑OWL知识库
模糊描述逻辑L-ALCN被引量：10
2008年
为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了L-ALCN的语法,并详细给出了概念(≥nR)和(≤nR)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合DL(c),并且利用集合DL(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的.
李淑英李梅蒋运承王驹刘真环
关键词：描述逻辑完备格TABLEAU算法
模态描述逻辑的模型被引量：7
2007年
本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质。
余泉王驹
关键词：描述逻辑模态逻辑
基于SHOIN(D)的UML类图形式化方法被引量：16
2009年
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系,提出UML类图的SHOIN(D)形式化方法,给出UML类图转换为SHOIN(D)知识库的正确性证明。
陈振庆
关键词：UML类图描述逻辑形式化
循环ALCN-Tbox的模型构造被引量：1
2008年
从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难,然后主要讨论了没有、、出现的,关系R的深度均为1的循环ALCN-Tbox的模型构造方法。
余泉甘晓丽王驹
关键词：描述逻辑
基于描述逻辑的CIM模型
2007年
分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法,也证明了这些判断方法的正确性。
蒋运承汤庸王驹周生明
关键词：描述逻辑CIM模型
全选 清除 导出
共2页<12>
聚类工具0