一种改进的形式化本体模型研究

Research on an optimized model for formal ontology

基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约束机制,论述相应公理,解释一些重要推论.这种形式化本体理论系统描述了分类学,为实现本体框架奠定了基础,可用于实现知识推理.

Based on objects, properties, classes and the four main relations between them, namely instanceOf, genusOf, abstractFrom and differenceFor, this paper proposed a new ontological triangle model. The model is presented in respect to people＇s abstracting process, and its kernel mechanism is the principle of abstraction. The data structure of the model was formally defined using first order logic with equality. According to entity and its relations, the restraint mechanisms of the model were analyzed, the corresponding axioms were discussed, and some important theorems were explained. The formal ontological theory describes taxonomy, establishes a reliable basis for the implementation of the ontological frame, and can be used to implement knowledge reasoning.