ontology在计算机科学中到底是什么没看明白.

ontology在计算机科学中到底是什么没看明白.
ontology在计算机科学中到底是什么
没看明白.

ontology在计算机科学中到底是什么没看明白.
种类”(kind)是指对那些具有共同性质的物体给出的一种范畴的划分,或者说所有这个种类中的成员都具有(也只有这个种类中的成员才能具有)这一组性质.更确切地说,对每一个种类K,就会有一组性质N,其中每一条性质都是必需的,而所有这些性质组合起来,就成了可以成为K的成员的充分条件；即,“x是K的成员,当且仅当x具有N中的每一条性质”.IDEF5是用以获取本体论的,要抓事物的本质,当然就要以种类的划分及其基本性质作为研究的出发点.
事物的性质,首先可以区分为“本质的”(essential)和“附属的”(accidental)两种.然而,IDEF5要用来获取企业本体论,问题会复杂得多,因此要把“种类”的定义作些灵活性的修正.把那一组用以确定种类K中成员的性质,称之为“限定性的性质”(defining properties).
“种类”(kind)和其他数据模型中提到的“类型”(type)和“类”(class),都是对个体集合的分类,都是可以有多个示例的.但是,种类(kind)和类型(type)的实例是可以随时间改变的,但种类本身则不变.例如,“雇员”种类,并不因为一个企业雇员数目的增减、具体人员的变动而改变这个种类本身.而类(class)则有时依赖于一些可记录的个体的集合,略有差别.
性质和属性
本体论中要明确区分性质(property)和属性(attribute).属性最好被看作一种函数,它一定要被赋予一个值.例如,属性“…的颜色”(简称“颜色”),就把每一个对象映射到它的颜色；属性“…的年龄”(简称“年龄”),就要把每个雇员映射到他/她的年龄.而性质则是直观的,事物的特征,所有个体所共同具有的一般抽象的特征.
事物总要求显示某种属性值.事物的“颜色”(属性)是红的(属性值),则其有性质“是红色的”.雇员的“年龄”(属性)是40(属性值),他就有一条性质“年龄是40岁”.
在建立本体论的实践中有时分不清性质和属性,所以IDEF5中有时用一个中性名词“特征”(characteristic),包容了这两个词.
关系
除了各个个体的性质和属性,本体论中当然要考虑个体之间的连接或关联,称之为“关系”(relation).例如,“工作在…”关系,就是一个雇员与其所工作的部门之间的关系. “关系”是可以多重示例的,并且是强制性的.在本体论中,一般说“关系”是存在于二者之间的,但并不排斥存在于三个以上个体之间的关系.
二阶性质和关系
上面说到了“性质”和“个体”.显然,这是不同逻辑类型的东西.性质是不同个体间共有的抽象的通用的特征.同样,关系也是不同的成对的(或三个以上)个体之间共有的通用的关联.因此,性质和关系是从个体的特征中抽象出来的,就被认为是一种更高的(更抽象的)逻辑类型.
如果把个体看作是“一阶对象”(first-order objects),一阶对象的性质和关系就叫做一阶性质和关系(first-order properties and relations).然而存在于个体之间的性质和关系,本身也是一种可识别的(虽然是抽象的)对象,因为它们比普通一阶对象在抽象程度上高了一级,被看作是更高的逻辑类型,就称之为“二阶对象”(second-order objects).而一阶性质和关系作为一种对象,它们也有自己的性质(就不是用于个体的),例如,性质“具有至少一个实例”.这种性质因是用于二阶对象的故称为“二阶性质”(second-order properties).另外,二阶对象相互之间存在着关系,例如,在两个种类之间存在的“具有比…更多的实例”关系.又如,存在于一个给定种类和包含着它的一个更通用的种类之间的“子种类”(subkind)关系；人类是哺乳类的子种类,数控机床是机器的子种类.有些二阶关系把个体作为其变元,如“是…的实例”关系,就存在于一个个体a与一个种类K之间（当a是K的一个实例时）.这种不同逻辑类型对象之间存在的混合类型关系,也称为是二阶的.因此,二阶关系(second-order relation)就是至少包含一个一阶性质或关系作为其变元的一种关系.
部分、整体和复杂种类
实际上IDEF5中有很多种类的个体,其本身就是由许多各种“种类”的其它对象所组成的复杂种类.一般来说,这些个体所以被看作是简单的,只是因为在那个研究场合下,不必要考虑其合成特性.而同一个事物,在另一些场合下,某个对象种类的合成特性要突出地考虑时,这个对象种类,就要把其它种类的对象看作其“部分”(或零件)(parts).所以在IDEF5中有一个基本的“是…的部分”关系,存在于一个个体与将此个体作为其一部分的那个更复杂的个体之间.譬如,火花塞与引擎,就存在这种关系,读作“火花塞是引擎的一部分”.而这种具有其它“种类”作为其“部分”的种类,被称为“复杂种类”(complex kind).
IDEF5中的“是…的部分”关系,也完全具有两个(高阶的)性质:
·反身性(reflexivity)----每个对象都是其本身的“部分”；
·传递性(transitivity)----对象a的部分的部分,也是a的部分.
譬如火花塞是引擎的“部分”(零件),引擎是汽车的“部分”,故火花塞也是汽车的“部分”.
过程、状态和过程种类
分析研究对象的种类,离不开实例所涉及的“过程”(processes).过程涉及两类变化: “种类”的改变和“状态”的改变.例如,一个燃烧过程,一定数量的木头变换成了灰和煤气,木头本身被完全毁掉了,对象发生了“种类”的改变.另一种情况,如冰溶化为水,汽车喷上了另一种颜色的漆.对象本身性质没有变,只是“状态”(states)改变了.正象对象可以有“种类”,过程也有其通用的“种类”,不同的个别事件(events)就是其实例.然而,过程是指“发生的事物”,所以不仅要包含其它事物作为其“部分”(如前述“复杂种类”的实例),还要指出“发生”在一个时间段上,并表明事物在这个时间段内,至少某一部分时间内是“真”(true)的.由此特点,过程之间也是可以关联的,也可以存在“子种类”关系