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

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值