要讲本体工程，不妨先从本体论讲起。本体论是哲学中对“存在”的研究。它通常被理解为形而上学的一个分支，专注于探讨现实的最基本特征。 其采用多种研究方法，包括概念与经验的分析、直觉与思维实验的应用，以及自然科学成果的整合。形式本体论致力于探究对象最抽象的特征；而应用本体论则利用本体论理论与原则来研究特定领域中的实体。应用本体论尤其适用于信息科学与计算机科学领域，因为这些领域需要构建特定领域的概念框架。。这些框架有助于信息的结构化存储，比如在大学数据库中跟踪学术活动。

本体论的基本概念

本体论的一些基本概念包括：

• Being (存在): 其作为本体论的核心主题。存在论者通常将存在分为基本的类别或最高层次的分类，这些分类被称为“存在的类别”，所提出的类别包括**实体 (substance)、属性 (property)、关系 (relation)、状态 (state of affairs) 以及事件 (event)**等。这些类别可以用来构建完整的分类体系，从而实现对现实的全面描述——每个实体都严格属于某一个类别。
• Particulars and Universals (特殊性与普遍性): 在本体论中，一个重要的区分是特殊性与普遍性之间的区别。前者独一无二，例如泰姬陵、火星；后者普遍可重复，例如绿色、勇气。普遍性代表了特殊性所共有的特征或属性 (aspects or features)，可以表现为属性或关系 (properties or relations)。
• Concrete and Abstract Objects (具体与抽象对象): 具体对象是指存在于时空中的实体 (entities)，比如树木、汽车。它们具有因果效应，能相互影响；例如，当一辆汽车撞到树木时，两者都会因此发生形变。抽象对象位于时空之外，比如数字 7 和整数集。它们没有因果效应 (causal powers)，也不会发生任何变化 (do not undergo changes)。抽象对象与虚构对象以及意向对象 (Fictional and Intentional Objects) 有着密切的联系。虚构对象是指在文学作品中创造出来的实体。意向对象则是指存在于心理状态中的实体，比如感知、信念和欲望等。
• Possibility and Necessity (可能性和必然性): 可能性，指的是某种情况是否有可能发生，例如“外星生命存在是有可能的”。而必然性则指的是某种情况必须发生，例如“三加二等于五是必要的”。可能性和必然性与现实性 (Actuality) 相对，现实性指的是某种情况实际发生了，例如“多哈是卡塔尔的首都”。本体论学者经常使用“可能世界 ( possible worlds)”这一概念来分析可能性和必然性。所谓可能世界，是指事物可能发生的一种完整且一致的方式。可能世界语义学认为，如果一个句子在至少一个可能世界中成立，那么这个句子就是可能的；如果一个句子在所有可能世界中都成立，那么这个句子就是必然的。
• Ontological Dependence (本体依赖): 本体依赖是指一个实体在本体上依赖于另一个实体。如果一个实体无法在没有另一个实体的情况下存在，那么这个实体就在本体上依赖于另一个实体。如果一个实体在本体上完全独立，不依赖于任何其他实体，那么这个实体就是本体论上独立的，可以独立存在。
• Ontological Commitment (本体论承诺): 指的是他们所依据的实体存在方式。本体论承诺可以用来分析人们究竟是明确支持哪种本体论，还是隐含地接受某种本体论。
• Identity (身份): 意味着两个事物是相同的。哲学家区分了质性 (qualitative) 和数值身份 (numerical identity)。如果两个实体具有完全相同的特征，则它们在质量上是相同的。这也被称为精确相似性和不可区分性。相比之下，数值身份意味着只有一个实体。另一个区分是同步身份和历时身份 (Synchronic and Diachronic Identity)。同步身份将一个实体与同一时间的自己联系起来。历时身份将一个实体与不同时间的自己联系起来。

实体 (substance)、属性 (property)、关系 (relation)、状态 (state of affairs) 和事件 (event)

• 实体 (Substances): 指那些构成基础并支撑着各种属性和关系的特定对象。它们可以被视为现实的基本构成单元，能够独立存在。实体与属性和关系不同：属性需要依赖实体才能存在，而实体则可以在发生变化的过程中持续存在，同时还能获得或失去各种属性。
• 状态 (State of Affairs): 是由多个实体构成的复杂整体。例如，“苏格拉底是智者”这一陈述就包含两个部分：个体苏格拉底以及“智者”这一属性。与现实相对应的状态被称为事实 (facts)。事实是陈述 (statements) 的真值制造者（truthmakers），这意味着一个陈述的真假取决于其背后的事实。
• 事件 (Event): 在时间中发生的特定现象，比如柏林墙的倒塌以及第一次月球登陆。这些事件通常伴随着某种变化，比如草坪变得干燥。在某些情况下，则不会发生任何变化，比如草坪保持湿润状态。而复杂的事件，也被称为“过程”，是由一系列事件构成的。
• 属性通常分为本质属性和偶然属性 (Essential and Accidental properties)。如果一个实体必须拥有某个属性，那么该属性就是本质属性；如果实体可以没有某个属性而存在，那么该属性就是偶然属性。例如，有三个边是三角形的本质属性，而红色则是偶然属性。关系是指两个或多个实体之间的关联方式，通常分为内部关系和外部关系 (Internal and External Relations)。内部关系仅取决于这些对象之间的属性，比如相似性的关系。而外部关系则涉及到那些超出被连接对象本身特性的特征，比如空间关系。与属性不同，关系适用于多个实体，并将它们作为一个整体来描述。例如，“是城市”是一种属性，而“位于新德里的东部”则是一种关系，就像“加德满都是城市”和“加德满位于新德里的东部”这样的表述。

整体论 在日常生活中遇到的具体物体都是由各种部分构成的复杂实体，整体与部分的关系被称为“整体论”。一种观点认为，任何实体集合都能构成一个整体；另一种观点则认为，只有满足某些条件的集合才具有整体性，比如这些实体之间必须相互接触。物质构成的问题在于：一个整体是否应该被视为除了构成它的各个部分之外的另一个独立实体。

本体论的分支 (Branch)

本体论包括纯粹本体论 (Pure Ontology)、应用本体论 (Applied Ontology)，而后者又存在一个主要分支、名为社会本体论 (Social Ontology)，此外本体论还包括形式本体论 (Formal Ontology)、描述本体论 (Descriptive Ontology)、元本体论 (Meta Ontology) 等，此外本体论还有很多其他不同的范畴和分类方式，在这里不一一展开。

本体论的方法 (Methods)

本体论方法是进行本体论探究和在相互竞争的理论之间做出选择的方式，且无标准方法。

• 概念分析 (Conceptual Analysis): 一种理解本体论概念并阐明其含义的方法，通过分析概念组成部分以及概念适用于实体的必要和充分条件来进行分析。这些信息可以帮助本体论学者判断某种类型的实体（例如数字）是否存在。
• 表象变异 (Eidetic Variation): 是现象学本体论中一种相关的方法，旨在识别不同类型对象的本质特征。现象学家首先想象一个所研究类型的实例。然后，他们通过改变想象的特征来确定哪些特征是不可改变的，即哪些特征是本质的。
• 先验方法 (Conceptual Analysis): 从一个简单的观察开始，即某个实体存在。接下来，它通过考察该实体存在的可能性或存在所需的条件，来研究这一观察的本体论意义。
• 基于直觉的方法 (Based on Intuitions): 即形成对一般原则正确性的非推理印象。这些原则可以作为本体论系统的基础，并可运用演绎推理进行扩展。另一种基于直觉的方法依赖于思想实验来激发新的直觉。具体做法是，想象一个与本体论问题相关的情境，然后运用反事实思维来评估该情境的后果。例如，一些本体论学者通过想象与人类相同但没有意识的生物来研究心物之间的关系。
• 自然主义方法 (Naturalistic Methods): 依赖于自然科学的洞见来确定存在什么。这种方法基于这样的理念：科学理论提供了对现实最可靠的描述，而通过研究其背后的本体论假设，可以更好地利用这些理论的力量。
• 理论选择原则 (Principles of Theory Choice): 旨在为评估本体论理论的优缺点提供指导，而非指导理论的构建。

在应用本体论中，本体工程是指创建和完善特定领域概念模型的过程，从零开始开发一个新的本体涉及各种准备步骤，例如界定拟建模领域的范围，以及明确本体的用途和用例。一旦确定了该领域内的基础概念，本体工程师就会着手定义这些概念并描述它们之间的关系。这通常使用形式化语言来完成，以确保精确性，并在某些情况下实现自动计算。在接下来的审查阶段，使用测试数据评估本体的有效性。已经提出了许多更具体的步骤执行方法，包括Cyc方法、Grüninger和Fox的方法论以及所谓的METHONTOLOGY。在某些情况下，可以调整现有本体以适应特定领域和用途，而不是从零开始创建一个新的本体。

相关领域

本体论与许多学科重叠，包括逻辑学，即研究正确推理的学科。本体论学家经常运用逻辑系统来表达他们的见解，尤其是在形式本体论领域。他们特别感兴趣的是存在量词（$\exists$ ），它用来表达存在的事物。

另外，本体论也常用于信息科学中，为特定领域提供概念框架或清单，从而能够对对象进行分类并形式化地表示其相关信息。这对于计算机科学尤为重要，因为计算机科学构建数据库来存储这些信息，并定义计算过程来自动转换和使用这些信息。