樊红杰
- 作品数:4 被引量:11H指数:3
- 供职机构:中国民航大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金中国民航大学科研启动基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 民航机场应急资源语义检索方法的研究被引量:4
- 2014年
- 针对现有检索技术在民航应急资源信息检索中存在着高匹配、低精度,低匹配、无匹配等问题,提出一个基于领域本体的语义检索框架。给出了语义检索的流程,探讨了领域本体、语义相似度计算及检索结果排序等实现语义检索的关键技术,搭建了实验平台。实验表明语义检索在查全率、查准率方面的检索效果都有所提高,更加符合用户的需求。
- 王红肖志伟李剪樊红杰
- 关键词:语义检索领域本体
- 面向领域本体非分类关系的语义相关度计算方法被引量:4
- 2016年
- 针对民航突发事件领域本体非分类关系的语义查询扩展问题,提出一种面向领域本体非分类关系的语义相关度计算方法。该方法在数据属性方面,提出基于属性类型和属性值的语义相关度计算方法;在对象属性方面,针对查询词与本体概念或实例存在多种对象属性问题,提出基于对象属性的语义相关度计算方法,并结合领域本体在民航突发事件案例的语义查询过程给出了该方法的实现效果分析。该方法不仅有效地提高了语义查询的准确率和查全率,也为民航突发事件的应急决策提供了更好的方法支持。
- 王红樊红杰孙康
- 关键词:领域本体非分类关系语义相关度
- 带限定性数目约束的描述逻辑ALCQ_(DES)
- 2014年
- 传统描述逻辑ALCQ以经典集合作为集合论基础,不能描述复杂的、模糊的、动态的知识。为此,引入可拓学中的可拓集合代替经典集合,作为描述逻辑ALCQ的集合论基础,提出一种新的带限定性数目约束的可拓描述逻辑ALCQDES。定义ALCQDES的概念、关系、TBox公理、ABox断言的语法形式,根据可拓集合和传统描述逻辑的语义解释方法,给出描述逻辑ALCQDES中的概念≥kR.C和≤kR.C的语义解释。研究描述逻辑ALCQDES的基本推理问题,给出一致性检测算法TableauDES*的≥kR.C和≤kR.C的断言扩充规则。与传统描述逻辑ALCQ和模糊扩展描述逻辑FALCQ相比,通过可拓集合扩展的描述逻辑ALCQDES具有更强的描述知识的能力。
- 王静李剪樊红杰王红
- 关键词:描述逻辑可拓集合可拓学模糊知识动态知识
- 面向矛盾问题的描述逻辑SHOQ扩展被引量:3
- 2014年
- 为了利用描述逻辑的推理规则分析并解决简单矛盾问题,引入了可拓集合作为描述逻辑SHOQ的集合论基础,提出了一种新的描述逻辑D-SHOQES,定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系,引入了动作理论以获取概念和关系的质变域和量变域,并给出了D-SHOQES中概念、关系、动作等的语义解释以及Tableau-算法推理规则,研究了矛盾问题的一般求解方法,从而为矛盾问题的求解提供了策略。
- 王静王红李剪樊红杰
- 关键词:描述逻辑可拓集合可拓学