实物拍摄 · 支持放大查看
本体是共享概念模型的明确的形式化的规范说明。其重要已在知识工程、智能信息集成、信息检索与获取、软件工程、自然语言处理、普适计算等许多方面有所体现。 本书概括了本体演化的一些方法，研究开放环境下本体演化中的本体一致推理算法、本体演化序列内部与序列之间的冲突检测、冲突诊断算法和本体演化多版本差异检测算法，同时所涉及的算行了系统的实验和比较。 本书可作为本体推理、本体演化领域开发人员和技术人员的参考书，对本体演化冲突检测有的参考价值。
第1章 绪论 11.1 背景知识 11.2 国内外相关研究 41.2.1 本体演化及其过程 41.2.2 开放环境下本体演化研究的现状 111.3 当前存在的问题 171.4 本书内容组织 18第2章 本体演化技术概述 212.1 描述逻辑与本体 212.2 OWL语言的逻辑基础 242.3 本体推理任务 272.4 本体演化方法 312.5 本章小结 35第3章 基于Alloy的本体推理 363.1 背景知识 363.2 Alloy语言 373.3 OWL到Alloy转换过程 383.3.1 解析过程 393.3.2 生成Alloy模型 413.3.3 实例分析 463.4 Alloy Analyzer支持的OWL本体推理 473.4.1 基于Alloy的TBox推理 473.4.2 基于Alloy的ABox推理 513.5 实验数据对比 533.6 本章小结 55第4章 的基于SAT的本体推理 564.1 引言 564.2 基于SAT的本体一致检测框架 574.3 中间语言定义 584.3.1 本体可满足问题 584.3.2 中间语言定义 604.3.3 抽象语法 614.3.4 语义 614.4 OWL语言与中间语言之间的转换规则 634.5 实例分析 664.6 实验对比分析 694.7 极小不可满足子句集MU提取 724.8 本章小结 75第5章 本体演化变更序列的冲突检测算法 765.1 引言 765.2 基本概念 775.3 冲突定义及检测 845.3.1 内部冲突 845.3.2 直接冲突 865.3.3 不一致冲突 885.4 实验分析 955.5 本章小结 97第6章 开放环境下本体演化变更序列语义冲突检测算法 986.1 引言 986.2 冲突变更序列矩阵模型 996.3 求解小碰集序列 1046.4 小碰集概率排序 1076.5 实例分析 1096.6 本章小结 113第7章 基于概念格的本体版本差异检测方法 1147.1 引言 1147.2 概念格模型与版本格 1157.2.1 概念格相关概念 1157.2.2 版本空间与版本格 1177.3 基于版本格的版本差异检测算法 1187.3.1 无参差异检测 1197.3.2 有参差异检测 1247.4 相关工作 1277.5 本章小结 128第8章 开放环境下本体演化原型系统的设计与实现 1298.1 开放环境下本体演化原型系统架构 1298.2 非标准推理模块 1338.3 冲突检测模块 1368.4 语义冲突诊断模块 1378.5 版本差异检测器 1398.6 本章小结 140参考文献
品相说明：本书为八品，书脊轻微磨损，内页整洁无涂画，无缺页少页，具体以实物照片为准。
品相标准：十品为全新未翻阅；九品近全新有轻微痕迹；八品有明显使用痕迹但内容完整；七品及以下为有破损或缺页，页面会有详细说明。
瑕疵说明：拍品图片均为实物拍摄，因显示设备差异可能存在轻微色差，以收到实物为准。
交易方式：本站采用担保交易，买家付款后资金由平台托管，确认收货无误后放款给卖家。
配送说明：下单后 48 小时内发货，默认快递发货，满 99 元包邮，多件订单可合并运费。
议价规则：标注「价格面议」的商品可通过站内消息与卖家议价，达成一致后改价下单。
七天无理由退换：收到商品七日内，若与描述不符可申请退换，运费由责任方承担。
纠纷处理：如发生交易纠纷，可提交平台介入处理，客服 09:00-18:00 在线受理。
正品保障：平台对古籍、签名本等贵重商品提供鉴定咨询服务，发现赝品全额退款。
