电子书
内容简介
本体是共享概念模型明确的形式化规范说明。其重要性已在知识工程、智能信息集成、信息检索与获取、软件工程、自然语言处理、普适计算等许多方面有所体现。
本书全面概括了本体演化的一些方法，重点研究开放环境下本体演化中的本体一致性推理算法、本体演化序列内部与序列之间的冲突检测、冲突诊断算法和本体演化多版本差异检测算法，同时就所涉及的算法进行了系统的实验和比较。
本书可作为本体推理、本体演化领域开发人员和技术人员的参考书，对本体演化冲突检测具有一定的参考价值。
章节目录
- 封面
- 扉页
- 版权信息
- 内容提要
- 前言
- 第1章 绪论
- 1.1 背景知识
- 1.2 国内外相关研究
- 1.2.1 本体演化及其过程
- 1.2.2 开放环境下本体演化研究的现状
- 1.3 当前存在的问题
- 1.4 本书内容组织
- 第2章 本体演化技术概述
- 2.1 描述逻辑与本体
- 2.2 OWL语言的逻辑基础
- 2.3 本体推理任务
- 2.4 本体演化方法
- 2.5 本章小结
- 第3章 基于Alloy的本体推理
- 3.1 背景知识
- 3.2 Alloy语言
- 3.3 OWL到Alloy转换过程
- 3.3.1 解析过程
- 3.3.2 生成Alloy模型
- 3.3.3 实例分析
- 3.4 Alloy Analyzer支持的OWL本体推理
- 3.4.1 基于Alloy的TBox推理
- 3.4.2 基于Alloy的ABox推理
- 3.5 实验数据对比
- 3.6 本章小结
- 第4章 改进的基于SAT的本体推理
- 4.1 引言
- 4.2 基于SAT的本体一致性检测框架
- 4.3 中间语言定义
- 4.3.1 本体可满足性问题
- 4.3.2 中间语言定义
- 4.3.3 抽象语法
- 4.3.4 语义
- 4.4 OWL语言与中间语言之间的转换规则
- 4.5 实例分析
- 4.6 实验对比分析
- 4.7 极小不可满足子句集MU提取
- 4.8 本章小结
- 第5章 本体演化变更序列的冲突检测算法
- 5.1 引言
- 5.2 基本概念
- 5.3 冲突定义及检测
- 5.3.1 内部冲突
- 5.3.2 直接冲突
- 5.3.3 不一致冲突
- 5.4 实验分析
- 5.5 本章小结
- 第6章 开放环境下本体演化变更序列语义冲突检测算法
- 6.1 引言
- 6.2 冲突变更序列矩阵模型
- 6.3 求解最小碰集序列
- 6.4 最小碰集概率排序
- 6.5 实例分析
- 6.6 本章小结
- 第7章 基于概念格的本体版本差异检测方法
- 7.1 引言
- 7.2 概念格模型与版本格
- 7.2.1 概念格相关概念
- 7.2.2 版本空间与版本格
- 7.3 基于版本格的版本差异检测算法
- 7.3.1 无参差异检测
- 7.3.2 有参差异检测
- 7.4 相关工作
- 7.5 本章小结
- 第8章 开放环境下本体演化原型系统的设计与实现
- 8.1 开放环境下本体演化原型系统架构
- 8.2 非标准推理模块
- 8.3 冲突检测模块
- 8.4 语义冲突诊断模块
- 8.5 版本差异检测器
- 8.6 本章小结
- 参考文献
展开全部
开放环境下本体演化方法是2017年由人民邮电出版社出版,作者张斌。
版权说明：本电子书已获得正版授权，由出版社通过知传链发行。
得书感谢您对《开放环境下本体演化方法》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
电子书
电子书
电子书
全面探讨AI理论实践，涵盖逻辑、概率、感知等领域，实际应用贯穿微电子、自动驾驶等热门技术。
电子书
轻松入门机器学习，理论实战并重，适合零基础学习者。
电子书
本书系统地阐述了人工智能的基本理论、基本技术、研究方法和应用领域。