国家自然科学基金(6067501)

作品数：6被引量：4H指数：1
导出分析报告
相关作者：方俊杨宁郭雷刘秋让牛悦更多>>
相关机构：西北工业大学华北电力大学河北科技大学河北工业大学更多>>
相关期刊：《纺织高校基础科学学报》《计算机应用研究》《河北工业大学学报》《计算机工程与应用》更多>>
相关主题：描述逻辑本体语义网本体匹配背景知识更多>>
相关领域：自动化与计算机技术电气工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
语义Web作为背景知识的本体匹配被引量：1
《西安工业大学学报》2011年第2期174-178,共5页杨宁 郭雷 方俊 杜亚勤 
教育部新教师基金(20096102120037);国家自然科学基金(6067501)
提出了一个基于语义网为背景知识的本体匹配模式,即自动寻找和检索各种网络的知识资源得出映射,根据一些关键问题获得可行的模式、提供一个良好性能的匹配方法.采取了一个大规模的匹配为实验背景,检验了以语义网为背景知识的本体匹配模...
关键词：本体 语义网 本体匹配 信息检索 
基于语义的查询优化方法
《纺织高校基础科学学报》2011年第1期154-158,共5页杨宁 郭雷 方俊 
教育部新教师基金资助项目(20096102120037);国家自然科学基金资助项目(6067501)
阐述了目前有代表性的几种语义推理查询方法.应用一些有效的优化查询技术对知识库中庞大的ABox进行本体的查询推理,以提高对知识库的利用效率和语义网的服务质量.基于模块化的推理方法是通过语义知识将一个查询推理转化为一个基本的概...
关键词：本体 语义查询 语义网 描述逻辑 
低压交流接触器电弧形态转变与运动特性研究被引量：1
《河北工业大学学报》2010年第5期1-5,共5页张军 刘教民 孙祎 王震洲 
国家自然科学基金项目(6067501)
针对以往电弧图像高速采集系统拍摄成本高,处理周期长,可用信息少的缺点,本文在CCD高速成像技术的基础上建立了新型电弧图像高速采集系统并利用该系统成功拍摄到低压交流接触器开关电弧在燃弧过程中的一系列图像.利用该新型电弧图像高...
关键词：低压交流接触器 开关电弧 运动特性 可靠性 分断能力 
EL^(++)本体中基于边界的公理模块提取方法
《西北工业大学学报》2010年第3期353-357,共5页方俊 郭雷 杨宁 
教育部新教师基金(20096102120037);国家自然科学基金(6067501)资助
推理时间随着所依赖的本体体积增大而增加,所以模块化是优化推理的一种有效手段。文章提出了一种在EL++本体中使用符号边界计算公理模块的方法,该方法通过分析符号解释域边界和公理之间的关系来计算推理任务的公理模块。文中给出了方法...
关键词：公理模块 边界方法 本体 推理优化 模块提取 
描述逻辑中基于边界模块的推理方法被引量：1
《计算机应用研究》2009年第8期2912-2914,2920,共4页牛悦 刘秋让 方俊 
国家自然科学基金资助项目(6067501)
模块化是优化本体推理的一种有效手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。给出该基于边界的模块的理论基础,并证明了其模块的正确性。评估实验表明,基于边界的模...
关键词：模块提取 边界 推理 解释 描述逻辑 
描述逻辑中基于边界的模块提取方法被引量：1
《计算机工程与应用》2009年第5期36-38,90,共4页牛悦 刘秋让 方俊 
国家自然科学基金(No.6067501)~~
模块化是优化本体推理的一种有效的手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础,并证明了其模块的正确性。在评估实验中,通过与...
关键词：模块提取 边界 推理 解释 描述逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部