二维描述逻辑的元建模及其应用

发布时间：2022-02-20 06:42

　　本体作为一种领域知识的形式化表示方法，在信息技术领域有着广泛的应用。语义Web、本体工程等领域研究和应用的迅猛发展，推动了上下文本体相关理论和技术的创新与发展。在本体研究中具有基础地位的描述逻辑研究领域，新近提出了一种称为二维描述逻辑的描述工具，为上下文本体建模和分析提供了形式化的理论基础，为上下文本体研究和应用提供了一种新的途径。本文从二维描述逻辑的元建模方法出发，借鉴软件工程中模型驱动架构相关的技术，在二维描述逻辑应用基础研究方面取得了一定成果。本文的主要工作和贡献如下：1.提出了一种二维描述逻辑元建模方法；2.给出了二维描述逻辑族中若干形式化表示的元模型；3.定义了一种扩展Web本体语言的上下文本体语言；4.给出了一种基于元模型的二维描述逻辑度量方法；5.设计和实现了二维描述逻辑可视化建模工具；6.讨论和分析了二维描述逻辑的若干应用领域。 

【文章来源】：吉林大学吉林省211工程院校985工程院校教育部直属院校

【文章页数】：103 页

【学位级别】：博士

【文章目录】：
内容提要
摘要
Abstract
第一章 绪论
    §1.1 研究背景
        §1.1.1 本体与本体工程
        §1.1.2 语义 Web 与描述逻辑
        §1.1.3 模型驱动架构与本体定义元模型
        §1.1.4 二维描述逻辑及其应用
    §1.2 国内外研究现状
        §1.2.1 国外研究现状
        §1.2.2 国内研究现状
    §1.3 本文的工作
        §1.3.1 研究的目的和意义
        §1.3.2 主要研究成果
第二章 一种二维描述逻辑的元建模方法
    §2.1 二维描述逻辑介绍
        §2.1.1 描述逻辑介绍
            §2.1.1.1 描述逻辑的语法
            §2.1.1.2 描述逻辑的语义
            §2.1.1.3 命名传统
        §2.1.2 二维描述逻辑族
            §2.1.2.1 简单互操作系统
            §2.1.2.2 抽象互操作系统
            §2.1.2.3 强表达能力二维描述逻辑
            §2.1.2.4 基本的上下文描述逻辑
    §2.2 二维描述逻辑元建模
        §2.2.1 模型驱动架构简介
        §2.2.2 本体定义元模型简介
        §2.2.3 基于元对象设施的元建模
    §2.3 二维描述逻辑的元模型
        §2.3.1 简单互操作系统的元模型
        §2.3.2 抽象互操作系统的元模型
        §2.3.3 强表达能力二维描述逻辑的元模型
        §2.3.4 基本上下文描述逻辑的元模型
    §2.4 本章小结
第三章 面向二维描述逻辑的 Web 本体语言扩展
    §3.1 简单互操作系统的 Web 本体语言
    §3.2 抽象互操作系统的 Web 本体语言
    §3.3 强表达能力二维描述逻辑的 Web 本体语言
    §3.4 基本上下文描述逻辑的 Web 本体语言
    §3.5 二维 Web 本体语言
        §3.5.1 二维 Web 本体语言的抽象语法
        §3.5.2 二维 Web 本体语言的语义
    §3.6 本章小结
第四章 二维描述逻辑的度量
    §4.1 本体度量简介
    §4.2 二维描述逻辑本体图模型
    §4.3 基本的度量准则
    §4.4 二维描述逻辑的度量准则
        §4.4.1 知识库的度量
        §4.4.2 上下文相关的度量
        §4.4.3 对象相关的度量
        §4.4.4 上下文与对象间的度量
    §4.5 本章小结
第五章 二维描述逻辑建模工具的设计与实现
    §5.1 元模型与元建模
    §5.2 基于元模型的建模工具的设计与开发
    §5.3 二维描述逻辑建模工具的架构
    §5.4 二维描述逻辑建模工具的实现
    §5.5 本章小结
第六章 二维描述逻辑的应用
    §6.1 上下文知识库
    §6.2 上下文本体推理
    §6.3 本体对齐和重用
    §6.4 本体版本管理和变更分析
    §6.5 本章小结
第七章 总结与展望
    §7.1 已完成的工作
    §7.2 下一步的研究工作
参考文献
作者读博期间的成果
致谢


【参考文献】：
期刊论文
[1]信息提供类Web服务基于查询重写的自动组合方法[J]. 赵文峰,刘传昌,陈俊亮.  中国科学:信息科学. 2011(07)
[2]基于模式结构分类的本体映射方法[J]. 周栩,刘磊,范任宏.  电子学报. 2011(04)
[3]一种面向组合服务的语义Web服务发现方法[J]. 刘磊,宋雅娟,任平.  吉林大学学报(理学版). 2010(02)
[4]基于本体的模型集成[J]. 蔡树彬,明仲,李师贤,刘显明.  电子学报. 2009(04)
[5]图形化本体建模工具GOM的设计与实现[J]. 王旭岩,鲁宁,范任宏,纪祥,刘磊.  吉林大学学报(理学版). 2008(05)
[6]基于MDA的设计模式建模与模型转换[J]. 张天,张岩,于笑丰,王林章,李宣东.  软件学报. 2008(09)
[7]语义查询扩展中词语-概念相关度的计算[J]. 田萱,杜小勇,李海华.  软件学报. 2008(08)
[8]Seal演算的偶图语义[J]. 金龙飞,刘磊.  计算机学报. 2008(03)
[9]关系数据库模式和本体间映射的研究综述[J]. 瞿裕忠,胡伟,郑东栋,仲新宇.  计算机研究与发展. 2008(02)
[10]基于分类的本体映射方法及映射工具实现[J]. 潘玉娥,梁鹏,何克清.  计算机应用研究. 2007(10)



本文编号：3634487