ontology的定义

1998年，施图德（Studer）等给出了一个更加明确的解释：

“ontology是对概念模型的明确的、形式化的、可共享的规范”

（An ontology is a formal explicit specification of a shared conceptualization）。

这里有四个要点：

概念模型(conceptualization)：是指所描述的客观世界的现象中有关概念的抽象模型；

其中概念定义为：C =〈D ,W ,R〉D是一个领域, W 是该领域中相关的事务状态(state of affairs) 的集合,R 是领域空间〈D ,W〉上概念关系(conceptual relation) 的集合(Nicola Guarino)。

明确(explicit)：指对于所使用的概念的类型以及概念用法的约束都明确地加以定义；

形式化(formal)：是指这个ontology应该是机器可读的（machine-readable）或者机器可循的（machine traceable）；共享(share)：是指ontology中所描述的知识不是个人专有的而是集体共有的。

 

 

从上述研究过程可以看出，计算机科学领域对ontology的研究倾向于概念体系的规范化，即对领域中的客体进行分析，找出这些客体之间的关系，从而构建领域模型（概念模型），通过领域模型明确、形式化、可共享地描述这个领域中各个客体所代表的概念的体系。

从这个角度来说，计算机科学领域中，ontology的含义是：知识本体。

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/thinkinside/archive/2007/07/12/1686192.aspx

 

 

ontology表达的是一个概念体系，是针对概念模型的表示。通常概念模型中会包含很多概念，以及概念之间的关系。如果把代表这些概念用词来定义，则ontology可以表达为一个词表，包括词的涵义以及词与词之间的关系。这样一个体系可以作为大家理解问题的共同基础。

按照ontology所表达的概念模型所在层次的不同，可以把ontology分为以下几类：

 

元知识本体（meta ontology）：对知识的表示进行抽象，

 

通用知识本体（common ontology）：从认识论出发，表达抽象的概念。如初始概念的时间（time）、空间（space）、事物（entity）、数量（quantity）、状态（state）、属性（attribute），以及这些初始状态组成的下位概念。

 

领域知识本体（domain ontology）：对特定领域中的知识进行抽象，描述其中的概念及概念间的关系。

 

应用知识本体（application ontology）：描述特定任务相关的概念及概念之间的关系。任务依赖于特定的领域知识本体进行描述。

 

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/ThinkInside/archive/2007/07/30/1716627.aspx

 

 

Perez 等用分类法组织分析已有本体, 归纳出5 个基本的建模元语(Modeling Primitives)。这些元语分别为：类/概念(classes/concepts)  ，关系(relations) ，公理(axioms) ，函数(functions) 和实例(instances) 。
 
类是相似术语所表达的概念的集合体，可以指任何事物，如工作描述、功能、行为、策略和推理过程等等。
 
关系代表了在领域中概念之间的交互作用。形式上定义为n 维笛卡儿乘积的子集： R ： C1 ×C2×⋯×Cn 。如：子类关系( subclass-of) 。
基本的关系有4 种：part-of ，kind-of ，instance-of 和attribute-of 。
关系名 关系描述
part-of 表达概念之间部分与整体的关系。
kind-of 表达概念之间的继承关系，类似于面向对象中的父类与子类之间的关系。
instance-of 表达概念的实例与概念之间的关系，类似于面向对象中的对象和类之间的关系。
attribute-of 表达某个概念是另一个概念的属性。如“价格”是桌子的一个属性。

 
概念之间的关系也不仅限于上面列出的4 种基本关系,可以根据特定领域的具体情况定义相应的关系。
 
公理通常都是一阶谓词逻辑的表达式。公理代表永真断言，比如概念乙属于概念甲的范围。也就是说公理是那种无需再进行证明的逻辑永真式(重言式〕，例如三角形内角制和等于180度。可以使用公理来约束信息、证明止确性或者推导新信息。在最简单的情况下，本体是通过包含关系关联起来的概念组，在本体中加入公理则意味着可以表达更为丰富的概念间的关系，以至于可以描述领域内的所有值为真的事实。
函数是一类特殊的关系。在这种关系中前n - 1 个元素可以惟一决定第n 个元素。形式化的定义如下： F ： C1 ×C2 ×⋯×Cn-1 →Cn 。例如Mother-of 关系就是一个函数，其中Mother-of ( x ， y) 表示y 是x 的母亲，显然x 可以惟一确定他的母亲y 。
实例，也称个体，表示某个特定概念的具体化的值。实例是本体中的最小对象。具有原子性，即不可再分性。如果某个实例还可以再进行划分，那么它就是一个类，而不是实例。
       从语义上分析，实例表示的就是对象，而概念表示的则是对象的集合，关系对应于对象元组的集合。概念的定义一般采用框架(frame) 结构，包括概念的名称，与其他概念之间关系的集合，以及用自然语言对该概念的描述。
 
在实际的应用中,不一定要严格地按照上述5类元语来构造Ontology。可以根据需要进行扩展或剪裁。

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/ThinkInside/archive/2007/07/30/1716642.aspx