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)，包容了这两个词。

关系