语义Web中基于描述逻辑的多知识库整合研究

发布时间：2021-11-20 23:09

　　自从1998年语义Web的理念和体系架构被提出后,这个被称为下一代Web的技术受到广泛关注,在近十几年,研究者对相关层面上的知识表示、推理、存储方式等进行深入研究,并逐渐地将相关领域内的技术思想和研究成果运用到语义Web的开发和实际应用。语义Web开发的核心技术之一是构建具有逻辑推理功能的知识库,它已经在互联网上得到广泛的应用,尤其是为语义Web提供语义信息,实现Web信息的自动处理。知识库的分散式、单一化的特性导致知识库之间构建标准不统一、数据不一致、信息交互困难以及“信息孤岛”等问题,从而严重影响机器自主推理能力,降低语义Web的智能化效果。为了有效解决上述问题,并考虑如何维护知识库的正确性及有效组织推理规则进行逻辑推理以最大化地满足语义Web所需要的隐含信息,知识库整合技术的研究在语义Web领域中具有重要意义。目前,语义Web下的多知识库整合需要人工参与大部分工作,而其过程又是单调的重复性工作。基于此点,本文针对语义Web中描述逻辑构建的多知识库整合进行较为全面的分析与研究。本文的主要贡献如下:（1）实现知识库的逻辑推理功能。证明了描述逻辑中的所有推理问题都可转化为可满足性关系和... 

【文章来源】：江苏科技大学江苏省

【文章页数】：73 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第1章 绪论
    1.1 课题研究背景及现实意义
    1.2 国内外研究现状
    1.3 论文的主要研究内容
    1.4 论文的组织结构
第2章 基于描述逻辑知识库的相关概述
    2.1 语义Web 相关技术
        2.1.1 语义Web 概述
        2.1.2 语义Web 的体系结构
    2.2 描述逻辑
        2.2.1 描述逻辑概念综述
        2.2.2 描述逻辑的系统结构
    2.3 描述逻辑的推理算法
        2.3.1 Tableau-base 算法
        2.3.2 结构化包含算法
        2.3.3 一致性判定算法
    2.4 描述逻辑构建的知识库
        2.4.1 术语公理集
        2.4.2 实例化断言集
    2.5 基于知识库的逻辑推理机制
        2.5.1 TBox 的推理机制
        2.5.2 ABox 的推理机制
    2.6 本章小结
第3章 多TBox 的整合技术及其算法
    3.1 引言
    3.2 寻找TBox 的最小概念集的重叠区域
        3.2.1 TBox 的最小概念集
        3.2.2 最小概念集间的映射图
    3.3 TBox 的最小概念集间的映射方法
        3.3.1 基于风险最小化的本体映射模型
        3.3.2 RiMOM 模型映射策略的改进
    3.4 多TBox 的整合和数据优化
        3.4.1 基于最小概念集的多TBox 整合算法
        3.4.2 消除数据的冗余性和不一致性
        3.4.3 整合后的TBox 查询算法
    3.5 实验验证和算法性能分析
        3.5.1 实验过程与结果
        3.5.2 算法性能结果分析
    3.6 本章小结
第4章 多ABox 的优化技术及算法实现
    4.1 引言
    4.2 ABox 的分割与关联策略
        4.2.1 一种ABox 数据的分割方法
        4.2.2 一种ABox 数据的关联策略
    4.3 基于优化后ABox 的查询算法
    4.4 应用示例
    4.5 实验评估与结果分析
        4.5.1 实验仿真结果
        4.5.2 实验结果分析
    4.6 本章小结
第5章 原型系统实现与工程应用
    5.1 原型系统的实验环境
    5.2 系统架构
    5.3 原型系统流程
    5.4 系统各模块设计
        5.4.1 操作中心的设计
        5.4.2 词典的设计
        5.4.3 反馈中心
        5.4.4 处理中心
    5.5 系统的实现与使用
    5.6 工程实例应用
        5.6.1 企业供应链模式的具体设计
        5.6.2 企业供应链上服务查询算法与实例总结
    5.7 本章小结
结论
参考文献
攻读学位期间发表的学术论文
致谢
详细摘要


【参考文献】：
期刊论文
[1]基于RDF句子的语义网文档搜索[J]. 吴鸿汉,瞿裕忠,李慧颖.  计算机研究与发展. 2010(02)
[2]知识库系统的逻辑基础[J]. 许文艳,刘三阳.  计算机学报. 2009(11)
[3]一种新的数据库访问图算法及其应用[J]. 邓亚丹,景宁,熊伟.  计算机工程. 2009(17)
[4]基于描述逻辑的目标推理研究[J]. 吴修国,曾广周,许崇敬.  计算机科学. 2008(07)
[5]动态描述逻辑的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬.  计算机学报. 2008(06)
[6]一种基于语义的本体概念相似度的计算方法[J]. 吴开贵,万红波,朱郑州.  计算机科学. 2008(05)
[7]语义Web服务在业务协同与供应链集成中的应用[J]. 宋庭新,黄必清,熊健民,魏春梅.  中国机械工程. 2008(04)
[8]基于描述逻辑的推理系统设计与实现[J]. 文坤梅,卢正鼎,吴杰文,李瑞轩,孙小林.  小型微型计算机系统. 2008(01)
[9]语义Web中的本体自动映射[J]. 唐杰,梁邦勇,李涓子,王克宏.  计算机学报. 2006(11)
[10]面向语义Web的领域本体表示、推理与集成研究[J]. 张维明,宋峻峰.  计算机研究与发展. 2006(01)



本文编号：3508268