论文摘要
1998年,Tim Berners-Lee提出了“语义Web”的概念,语义Web研究的主要目的就是扩展当前的WWW,使得网络中信息都是具有语义的,便于人和计算机之间的交互合作。语义Web的兴起促进来本体技术的发展,本体作为语义Web的基石,而描述逻辑作为语义Web的一个逻辑基础,对它们的研究具有重要的理论价值和现实意义。本文的主要工作如下。1.面向语义Web领域本体的建立与形式化研究。The World Wide Web Consortium （W3C）正在制定的OWL DL是一种面向语义Web的知识表示标记语言,本文主要以大学本体为例,介绍领域本体建立和形式化研究的一般方法,首先采用NKI（National Knowledge Infrastructure）语言描述了大学领域本体的类,同时规范了它的属性和关系,然后详细分析了OWL DL和描述逻辑之间的对应关系,并通过具体的大学领域本体的实例用描述逻辑的语义解释了OWL DL的各个元素,这样在描述逻辑领域的研究成果就能应用到OWL DL上来,为OWL DL的知识表示和推理问题奠定来一定的基础。2. Web商务智能语义平台。本文以Web商务智能领域为研究对象,建立了该领域的语义平台,具体讲述了它的Web数据资源模块、知识库模块和用户模块,具体分析了本体的演化过程,因为Web商务信息具有明显的时效性和上下文相关性,所以本文也同时建立了Web商务智能领域的时序知识模型,并确定了时间本体的原子概念、关系和公理,实现了基于描述逻辑的概念定义和公理的确定,奠定了形式推理的基础。3.语义Web本体不一致性研究。本体在“语义Web”中起到了至关重要的作用,它通过定义精确的共享术语,以提供某一特定领域可重用的知识。但这些知识并不是静态的,而是随着时间的推移不断演化。本体在演化发展的过程中,不可避免地会产生本体知识库的不一致现象,本文解决了在本体演化后本体知识库产生的不一致性的处理问题,例如对不一致的检验,不一致性的测量,后者对本体知识库的修复具有良好的参考价值。在不一致的测量计算过程中,为了简化计算,我们采用基于结构划分和最小不一致集的方法来对不一致值的计算进行优化,这样就能大大地减少了不一致值计算时间。
论文目录
摘要Abstract1 绪论1.1 选题背景及研究意义1.1.1 选题背景1.1.2 研究意义1.2 本文的主要工作和创新性1.2.1 论文的主要工作1.2.1.1 面向语义Web 领域本体的建立与形式化研究1.2.1.2 语义Web 在商务智能领域的应用1.2.1.3 本体的不一致性研究1.2.2 论文创新性1.3 论文组织2 基于描述逻辑的语义Web 相关概念2.1 语义Web 概述2.2 描述逻辑概述2.3 描述逻辑基本描述语言2.3.1 AL 语言的基本描述2.3.2 AL 语言族系2.3.3 ALC 的语法和语义表示2.4 本体2.4.1 本体定义2.4.2 本体分类2.5 本体语言2.5.1 本体语言介绍2.5.2 OWL2.6 本章小结3. 面向语义Web 领域本体的建立与形式化研究3.1 领域本体的组成3.2 构建本体实例3.2.1 类3.2.2 槽3.2.3 类的描述举例3.2.4 领域本体的类层次3.3 领域本体的形式化分析3.3.1 OWL DL 与描述逻辑的对应关系3.3.2 OWL DL 本体分析3.4 本章小结4. 语义Web 在商务智能领域应用4.1 商务智能和知识管理简介4.1.1 商业智能简介4.1.2 知识管理简介4.2 Web 商务智能语义平台4.2.1 Web 商务智能语义平台的提出4.2.2 Web 商务智能语义平台功能模块分析4.2.3 相应问题提出4.3 时序知识模型提出4.3.1 本体演化过程及其表示4.3.2 动态知识表示模型的表示4.3.3 相应的时间公理的提出4.4 本章小结5. 语义Web 本体的不一致性研究5.1 引起不一致的原因5.1.1 导致本体演化的原因5.1.2 本体演化5.2 一致性的检测与保持5.2.1 语义一致性检测5.2.2 本体一致性的保持5.3 本体不一致测量5.3.1 不一致性测量问题的提出5.3.2 问题定义5.3.3 具体计算5.4 Shapley 值计算的优化5.4.1 基于公理之间结构相关性的优化5.4.2 基于最小不一致集（MIS）的优化5.5 本章小结6. 总结和展望6.1 研究总结6.2 研究展望7. 参考文献攻读学位期间发表学术论文目录致谢
相关论文文献
标签：语义论文; 本体论文; 描述逻辑论文; 商务智能论文; 本体演化论文;
