收藏本站
《南昌工程学院学报》 2017年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

国家自然科学基金项目 基于图的描述逻辑高效非标准推理技术的研究(项目批准号:61762063)

【摘要】:正描述逻辑是一类基于逻辑的形式化知识表示体系,为万维网组织W3C推荐的标准本体语言OWL提供语义基础。随着语义Web和知识图谱技术等相关技术的发展,描述逻辑吸引了众多研究人员的关注。在实际应用中,描述逻辑本体的构建与维护是一项复杂的过程,此过程常导致本体出现不一致性问题,从而使得标准推理服务失效,因而,面向不一致本体的非标准推理是研究中须面对的课题。项目将
【分类号】:TP181

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 蒋运承;史忠植;汤庸;王驹;;一种分布式动态描述逻辑[J];计算机研究与发展;2006年09期
2 王岁花;赵爱玲;魏涛;;描述逻辑的粗糙扩展研究[J];计算机工程与科学;2011年02期
3 李言辉,徐宝文,陆建江,汪鹏,周晶晶;一种扩展的模糊描述逻辑[J];东南大学学报(自然科学版);2005年05期
4 陆建江;李言辉;张亚非;周波;康达周;;限制数量约束的扩展模糊描述逻辑的推理复杂性(英文)[J];Journal of Southeast University;2007年02期
5 李宗寿;;基于描述逻辑的知识建模语言[J];怀化学院学报(自然科学);2007年02期
6 彭晖;陈立民;常亮;史忠植;;基于动态描述逻辑的语义Web服务匹配研究[J];计算机研究与发展;2008年12期
7 丛晓青;曹存根;眭跃飞;;带函数的描述逻辑[J];计算机工程与应用;2008年22期
8 王静;贾成伟;张健沛;杨静;;基于可拓理论的描述逻辑扩展[J];计算机应用;2008年08期
9 史忠植;常亮;;基于动态描述逻辑的语义Web服务推理[J];计算机学报;2008年09期
10 吴修国;曾广周;许崇敬;;基于描述逻辑的目标推理研究[J];计算机科学;2008年07期
中国重要会议论文全文数据库 前2条
1 文斌;甘健侯;夏幼明;徐天任;;基于ALC的扩展描述逻辑ALC~+[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
2 文斌;甘健侯;夏幼明;徐天伟;;框架表示法到扩展描述逻辑ALC+的转换初探[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国博士学位论文全文数据库 前7条
1 王静;基于可拓集的描述逻辑研究[D];哈尔滨工程大学;2009年
2 邹婷婷;描述逻辑中若干问题的研究[D];吉林大学;2013年
3 孙小林;2-型模糊描述逻辑及其在本体进化中的应用研究[D];华中科技大学;2007年
4 古华茂;描述逻辑概念可满足性推理研究[D];浙江大学;2009年
5 王海龙;支持模糊数据类型表示的模糊描述逻辑研究[D];东北大学;2009年
6 杨鹏;面向事件感知的应急临机决策引擎研究[D];天津大学;2010年
7 霍林林;复杂空间关系模型及空间描述逻辑中若干问题的研究[D];吉林大学;2013年
中国硕士学位论文全文数据库 前10条
1 李莹;基于描述逻辑的教育突发事件语义描述及知识推理方法研究[D];云南师范大学;2015年
2 闫之焕;描述逻辑在粗糙集框架下的拓展研究[D];电子科技大学;2016年
3 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年
4 领吉;描述逻辑与规则整合研究[D];吉林大学;2010年
5 张瑞霞;基于描述逻辑的定性空间推理研究[D];重庆大学;2010年
6 袁佳乐;描述逻辑归结推理的研究[D];华东交通大学;2009年
7 李英杰;知识路由中基于描述逻辑的语义Web服务复合的研究[D];太原理工大学;2007年
8 邱晓春;基于三角模的模糊描述逻辑扩展研究[D];浙江理工大学;2014年
9 许禾;在粗描述逻辑RALCQ中构造算子间的蕴含关系[D];广西师范大学;2009年
10 钟毓;基于Vague集的模糊描述逻辑公理体系及其推理机制的研究[D];重庆大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026