本体论及其应用PDF|Epub|txt|kindle电子书版本网盘下载

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

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

绪论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

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

1．背景114

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

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

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

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

2．网络本体语言OWL168

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．应用EO317

附录：企业本体工程的术语编码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

附表A386

A.1 形式转换参考386

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

附表C392

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

附表D395

D.1 NF形式的转换395

D.2 DCG分析396

附表E400

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

附表F403

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

附表G406

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

G.2 映射元编译程序409

附表H411

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

参考文献415

后记426