国家自然科学基金(6067501)
- 作品数：6 被引量：4H指数：1
- 相关作者：方俊杨宁郭雷刘秋让牛悦更多>>
- 相关机构：西北工业大学华北电力大学河北科技大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- EL^(++)本体中基于边界的公理模块提取方法
- 2010年
- 推理时间随着所依赖的本体体积增大而增加,所以模块化是优化推理的一种有效手段。文章提出了一种在EL++本体中使用符号边界计算公理模块的方法,该方法通过分析符号解释域边界和公理之间的关系来计算推理任务的公理模块。文中给出了方法的理论基础并证明了模块相对于推理任务的正确性。在EL++本体上实现了基于边界的公理模块提取算法,通过在现实的本体上进行实验评估,证明文中方法产生的公理模块和最优模块大小非常接近,且提取速度非常快,适合对推理进行优化。
- 方俊郭雷杨宁
- 关键词：本体
- 低压交流接触器电弧形态转变与运动特性研究被引量：1
- 2010年
- 针对以往电弧图像高速采集系统拍摄成本高,处理周期长,可用信息少的缺点,本文在CCD高速成像技术的基础上建立了新型电弧图像高速采集系统并利用该系统成功拍摄到低压交流接触器开关电弧在燃弧过程中的一系列图像.利用该新型电弧图像高速采集系统对CJX1-12/22型号的交流接触器进行了电弧形态转变与运动特性的研究.通过对所得电弧图像信息的分析处理得到低压交流接触器电弧在不同时刻的弧柱直径及电弧运动速度的数值并归纳出低压交流接触器电弧在燃弧过程中的运动特性,为研究和提高低压开关电器的可靠性和分断能力提供了理论依据.
- 张军刘教民孙祎王震洲
- 关键词：低压交流接触器开关电弧运动特性可靠性分断能力
- 基于语义的查询优化方法
- 2011年
- 阐述了目前有代表性的几种语义推理查询方法.应用一些有效的优化查询技术对知识库中庞大的ABox进行本体的查询推理,以提高对知识库的利用效率和语义网的服务质量.基于模块化的推理方法是通过语义知识将一个查询推理转化为一个基本的概念表达形式,首先计算出和查询任务相关的模块,然后在该模块而不是整个知识库中进行查询.使用语义的查询减少了查询过程中的计算和推理,是节约资源、提高效率的方法.
- 杨宁郭雷方俊
- 关键词：本体语义查询语义网描述逻辑
- 描述逻辑中基于边界模块的推理方法被引量：1
- 2009年
- 模块化是优化本体推理的一种有效手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。给出该基于边界的模块的理论基础,并证明了其模块的正确性。评估实验表明,基于边界的模块和最优模块大小很接近,并使用边界模块进行推理后,推理性能显著提高。
- 牛悦刘秋让方俊
- 关键词：描述逻辑
- 描述逻辑中基于边界的模块提取方法被引量：1
- 2009年
- 模块化是优化本体推理的一种有效的手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础,并证明了其模块的正确性。在评估实验中,通过与最优模块和符号模块进行比较,基于边界的模块和最优模块大小很接近,非常适合对推理进行优化。
- 牛悦刘秋让方俊
- 关键词：描述逻辑
- 语义Web作为背景知识的本体匹配被引量：1
- 2011年
- 提出了一个基于语义网为背景知识的本体匹配模式,即自动寻找和检索各种网络的知识资源得出映射,根据一些关键问题获得可行的模式、提供一个良好性能的匹配方法.采取了一个大规模的匹配为实验背景,检验了以语义网为背景知识的本体匹配模式的可行性、局限性、与其他技术的结合性.实验结果表明以语义Web为背景知识的方法本体匹配的精确度为70%.说明以语义Web为背景知识的本体匹配是对现有技术的补充,并可兼容于其他方法,其匹配的精确度也有了进一步的提高.
- 杨宁郭雷方俊杜亚勤
- 关键词：本体语义网本体匹配信息检索
