本体论及其应用pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

本体论及其应用PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

绪论 1

第一章 本体论与信息哲学一、信息哲学涌现背景 3

二、信息哲学的发展过程 13

三、信息哲学的界定 20

四、信息哲学的研究原则 26

五、信息哲学的研究范围 29

六、信息哲学是第一哲学 31

七、本体论在信息哲学中的应用 33

八、信息哲学中关于本体的概念 38

第二章 本体论与信息系统一、信息系统中本体简介 42

1．本体的概念 42

2．本体的分类、组成与特征 48

3．本体在信息系统中的应用 52

二、本体在信息系统中的地位 56

1．信息系统要素的划分 56

2．一般维度 59

3．结构维度 61

三、本体方法论 62

1．主要的本体开发方法 63

2．几种开发方法的比较 71

四、信息系统中本体的开发 82

1．本体构建原则 82

2．本体开发过程 84

3．本体的表示原则 87

4．主要的本体描述语言 88

5．本体描述语言的比较和评价 94

附录：主要本体表示语言一览表 100

第三章 本体构建语言与开发工具一、本体构建语言与开发工具的发展与现状 104

1．计算机语言的发展——由低级语言到本体构建语言 104

2．本体构建语言与开发工具的发展过程 108

3．现状 112

二、面向知识的本体构建语言KIF 114

1．背景 114

2．KIF语言的定义与语法 115

3．以KIF语言为基础的本体服务器ONTOLINGUA 145

三、面向网络信息处理的本体语言 167

1．网络信息资源表现与组织的发展——从HTML到XML到SEMANTICWEB 167

2．网络本体语言OWL 168

3．DAML+OIL语言 182

4．小结 187

四、面向企业的本体构建语言与工具 188

1．企业信息化中的企业业务过程集成 188

2．企业业务过程集成的发展与现状 190

五、BPMO——业务过程管理本体的建立 193

1．BPMO——业务过程管理本体与相关技术之间的关系 193

2．建立一个BPMO的过程 196

3．小结 207

第四章 本体论与信息检索一、信息检索 209

1．信息与信息资源 209

2．信息检索 213

二、基于本体论的信息检索系统 216

1．本体论的再认识 217

2．基于本体论的信息导引 219

3．基于本体论的信息检索原形系统的结构 221

三、基于本体论的信息检索系统中的本体构建 227

1．前言 27

2．本体的组成要素 229

3．构建领域本体的知识工程方法 230

4．定义类和分类的等级体系的原则 233

5．属性定义 236

6．命名 236

附录：OWL文档结构举例 237

第五章 本体论与企业本体的构建一、企业领域本体概述 255

1．领域本体 255

2．企业本体 257

3．企业本体的典型工程 259

二、TOVE方法及其对企业本体的构建 260

1．Fox＆Gruninger的评价法 260

2．TOVE中的企业本体 267

3．组织本体（Organization Ontology）的构建 271

三、“骨架法”及其对企业本体的构建和应用 289

1．Uschold＆King的“骨架法” 289

2．企业本体工程 294

3．应用EO 317

附录：企业本体工程的术语编码 322

第六章 本体论与软件测试一、理论基础 327

1．软件错误的两种类型 327

2．本体约束 328

3．错误测试理论 330

4．推理工具 333

5．错误核查机制 334

6．核查的体系结构 335

7．多层体系结构 337

8．实施 338

二、方法评估 343

1．一致性核查 344

2．PIF实例 345

3．关于生态学的实例 350

4．AIRCRAFT实例 359

5．其他案例的研究 365

三、多层方法的评价 368

1．工程本体资源 370

2．PHYSSYS本体 370

3．应用实例 379

4．测试概念错误 381

四、小结 384

附表A 386

A.1 形式转换参考 386

附表B：错误核查元编译器 388

附表C 392

C.1 推理工具与元编辑器 392

附表D 395

D.1 NF形式的转换 395

D.2 DCG分析 396

附表E 400

E.1 Ecologic case:Rabbit-grass能量流模型 400

附表F 403

F.1 Ecologic实例：Rabbit-grass状态转换模型 403

附表G 406

G.1 KA2/SHOE本体映射实例 406

G.2 映射元编译程序 409

附表H 411

H.1 对象状态测试实例 411

参考文献 415

后记 426