王进鹏
- 作品数：6 被引量：10H指数：2
- 供职机构：解放军理工大学指挥自动化学院更多>>
- 发文基金：国家高技术研究发展计划中国人民解放军总装备部预研基金国家部委预研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于本体的关系数据集成的查询处理被引量：3
- 2010年
- 为实现异构关系数据库的语义集成,针对传统集成技术存在的问题,在对语义网等相关技术进行分析的基础上,研究基于本体的关系数据集成系统中的查询处理问题,提出了一种基于本体的关系数据库集成框架。设计了基于本体的关系数据的描述方法,使用本体作为集成的全局模式来描述关系模式的语义。设计了查询重写算法,该算法可以将基于全局模式的SPARQL查询重写为针对具体关系数据库的查询,从而实现对异构关系数据库的集成。实验表明,该算法具有良好的可扩展性。
- 王进鹏张亚非苗壮
- 关键词：数据集成关系数据库查询重写本体
- RDF(S)三元组的推理控制算法被引量：2
- 2009年
- 为实现资源描述框架(RDF)数据的访问控制,提出一种RDF(S)三元组的推理控制算法,通过计算推理依赖图得到三元组的逻辑表达式,对敏感三元组的逻辑表达式求析取范式进而得到推理控制问题的候选解和最优解。实验表明,该算法能够有效地阻止非法推理,合理控制语义信息的丢失。
- 王进鹏张亚非苗壮
- 关键词：资源描述框架访问控制
- 基于模糊描述逻辑的模糊UML类图形式化被引量：2
- 2010年
- 由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。
- 周波张亚非陆建江王进鹏苗壮
- 关键词：类图模糊描述逻辑形式化
- SPARQL查询的关系代数表示与转换方法被引量：2
- 2011年
- 为解决基于本体的数据集成系统中的查询转换问题,提出SPARQL查询的关系代数表示和转换方法。引入RDF图模式的关系代数,定义了五种基本的关系运算,给出了SPARQL查询的关系代数表示;提出了SPARQL到SQL的查询转换方法,将基于本体的SPARQL查询转换为可在关系数据库上直接执行的SQL查询,从而实现关系数据库的集成。系统实现表明,该方法能够有效地实现查询语言的转换。
- 王进鹏张亚非苗壮
- 关键词：查询转换关系代数关系数据库数据集成
- 关系数据集成中的语义查询处理技术(英文)被引量：1
- 2011年
- 为解决基于语义的关系数据集成中的查询处理正确性问题,形式化定义了SPARQL查询语句的语义.在查询重写过程中,发现查询相关的数据表并将其分解为最小可连接单元,再根据查询语义连接最小可连接单元来产生正确的查询.给出了基于语义的查询重写和查询转换算法.对算法复杂性进行了讨论,在最坏情况下,查询分解算法可在O(n2) 时间内完成,查询重写的时间复杂度为O(nm) .通过实验验证了算法的性能,实验结果表明当查询长度小于8,而数据源较多时,查询处理算法具有较好的效果.
- 苗壮张亚非王进鹏陆建江周波
- 关键词：数据集成关系数据库SPARQL查询处理
- 基于语义的数据集成研究
- 数据集成是系统集成的核心,也是实现异构系统互操作的基础.传统的数据集成方法多是对数据进行结构上的转换使之成为统一的格式,这些方法很少考虑数据的含义,不能解决数据语义层次上的异构问题。本文介绍了数据集成的含义和主要的数据集...
- 苗壮周波王进鹏
- 关键词：数据集成异构数据库语义标注数据格式
- 文献传递
