夏战锋
- 作品数:6 被引量:10H指数:2
- 供职机构:江苏科技大学计算机科学与工程学院更多>>
- 发文基金:广东省自然科学基金广东省科技计划工业攻关项目广东省教育部产学研结合项目更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 语义Web中基于描述逻辑的多知识库整合研究
- 自从1998年语义Web的理念和体系架构被提出后,这个被称为下一代Web的技术受到广泛关注,在近十几年,研究者对相关层面上的知识表示、推理、存储方式等进行深入研究,并逐渐地将相关领域内的技术思想和研究成果运用到语义Web...
- 夏战锋
- 关键词:语义WEB描述逻辑多知识库
- 文献传递
- 基于范畴论的多TBox整合研究
- 在语义Web环境下,针对知识库的单一性和分散性,本文提出一种基于范畴论的多TBox整合方法来整合知识库。具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具。
把TBox作为对象,范畴论中“态射”实现T...
- 夏战锋彭志平胥杜鹃
- 关键词:知识库范畴论描述逻辑
- 文献传递
- 多知识库整合技术在企业供应链中的应用被引量:1
- 2012年
- 企业供应链中数据的独立性较差,智能化程度较低。为此,提出一种多知识库整合技术,并将其应用于企业供应链中。通过寻找TBox间的重叠区域,建立概念关联,消除数据冗余性和不一致性,以整合知识库。设计多ABox优化技术及其实现算法,给出服务请求子系统结构、服务接收子系统和知识库整合中心框架。实验结果表明,该技术能减少系统运行时间。
- 彭志平夏战锋周超
- 关键词:供应链知识库查询算法描述逻辑
- 基于最小概念集的多知识库整合被引量:2
- 2011年
- 在语义Web环境下,知识库往往是单一、分散的,阻碍了语义Web的发展。为此,提出一种基于最小概念集的多知识库整合方法。定义知识库系统的最小概念集,给出生成最小概念集的方法,对基于风险最小化的本体映射模型中的映射策略进行改进,并设计基于最小概念集的多知识库整合算法,通过应用实例验证算法的复杂度。
- 彭志平夏战锋
- 关键词:语义WEB多知识库
- 基于Tbox和Abox的描述逻辑推理研究被引量:7
- 2010年
- 语义Web的出现使得描述逻辑(Description Logic)成为研究的热点。它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心。首先重点讨论基于Tbox和Abox的推理任务;其次,详细阐述各算法以及相互间内在联系;最后,得出描述逻辑的所有推理都可以转化为基于Abox的一致性检测问题,并给出其算法及实现过程。在语义Web环境下,描述逻辑的推理服务可以提高机器的理解能力,实现机器完全自主化。
- 张灵峰夏战锋彭志平
- 关键词:描述逻辑可满足性一致性
- 基于范畴论的多TBox整合研究
- 2011年
- 在语义Web环境下,单一和分散的知识库会引发数据的冗余和不一致性,且严重影响知识库智能化查询,降低知识库中数据的重用性和可操作性。文中提出一种基于范畴论的多TBox整合方法来整合知识库,旨在解决上述诸类问题。此方法具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具。将TBox作为操作对象,范畴论中"态射"功能可实现TBox的映射,"外推"功能可实现TBox的整合,最后通过实验验证方法的可行性和有效性,实验结果基本符合要求。
- 夏战锋彭志平胥杜鹃
- 关键词:知识库范畴论描述逻辑