ontology（ontology在计算机科学中到底是什么）

本文目录

• ontology在计算机科学中到底是什么
• 本体论(ontology)和存在论之间有区别吗
• ontology和epistemology到底不同在哪
• 沃尔夫提出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)的。由此特点，过程之间也是可以关联的，也可以存在“子种类”关系

本体论(ontology)和存在论之间有区别吗

没有区别，它们是一样的。“本体论”和“存在论”都是ontology的中译，主要是研究“存在”/“是”/being/Sein。

本体论就是存在论。哲学上这个问题的争论实际上是概念模型的争论。现实中不同的系统有不同的存在，不存在终极意义上的“存在”问题。

人们生活在不同的系统之中，有时人们生活在现实系统（可以观察、感觉的系统），有时人们生活在虚拟系统；有时人们生活在企业工作系统，有时人们又生活在象棋游戏系统。

由于人们观察事物系统测量尺度不同、抽象的对象与关系不同，观察目的与观察环境不一致，因此人们在不同的系统中观察认识到的对象和对象属性也不一样。

因此我们平时所谓的存在、意义、知识，都必须相对特定的系统与确定观察范式而言的。没有离开一切系统和观察范式的抽象的形而上学实在、意义、属性和知识这样的东西。

数字1、2、3，符号+、－、×、÷，在现实或者说在三维世界中是看不到的，不存在的。但是作为自然数模型系统的要素，以及数字模型关系的主体间约定，这些东西有是真实存在的，存在于理性观念系统中，可以运用数学等理性手段加以证实。

经济人，作为经济主体的理想模型,不是现实的感觉的存在的。但是，作为经济学一般均衡模式的要素，它在经济认识系统中是真实存在、可以测量把握的。它们抽象出的共有属性——数量属性与数量关系属性、人在局限条件下追求个人利益最大化的属性，真实的存在于具体事物与具体的人身上。

当人们把数学关系式代入现实对象,将经济学一般均衡模式代入现实的人，它们都是可以从具体事物对象身上抽象出真实的和可以经验证实的与观念模型相近相似的属性。

ontology和epistemology到底不同在哪

1、性质不同

认识论（epistemology），个体的知识观，个体对知识和知识获得所持有的信念。

本体论（Ontology），探究世界的本原或基质的哲学理论。指一切实在的最终本性，这种本性需要通过认识论而得到认识，因而研究一切实在最终本性为本体论，研究如何认识则为认识论，这是以本体论与认识论相对称。

2、内容不同

认识论主要包括有关知识结构和知识本质的信念和有关知识来源和知识判断的信念，以及这些信念在个体知识建构和知识获得过程的调节和影响作用，长久以来一直是哲学研究的核心问题。

本体论探究天地万物产生、存在、发展变化根本原因和根本依据。

沃尔夫提出ontology一词，是存在和存在物的意思对吗

　　一、这个词不是沃尔夫提出的，这个理论是德国经院学者郭克兰纽命名的，是他完善的存在论这个理论；这个词的意思是本体论；存在论；实体论。
　　二、详解如下：
　　1、关于这个词的解释：

　　ontology 本体,本体论,存在论
　　Ontology language 本体语言,体论语言,本体论语言
　　Geopolitical ontology 地缘政治本体论
　　2、关于这种理论：

　　存在论(Ontology)是哲学的核心领域。顾名思义，存在论即关于“存在“的理论，是关于存在是什么以及存在如何存在的理论。存在论虽然是在17世纪才由德国经院学者郭克兰纽(Rudolphus Goclenius , 1547-1628)命名并由沃尔夫(Christian, Freiherr von Wolff, 1679-1754)加以完善并从理论上系统化，但就存在论这一学问而言，则是早已由古希腊哲学确定了其基本框架及理论内容的。事实上，存在论本身就是古希腊哲学的主题形态。