文件名称：一种改进的形式化本体模型研究 (2007年)
文件大小：1.08MB
文件格式：PDF
更新时间：2024-06-10 02:33:42
工程技术 论文
基于对象、属性、类及其之间的4个主要关系，即实例关系、属关系、抽象关系和区分关系，提出一种本体三角形模型。该模型符合人的抽象思维过程，其核心机制是抽象原理。采用一阶逻辑等值演算形式化定义该模型结构，根据实体及其关系分析其约束机制，论述相应公理，解释一些重要推论。这种形式化本体理论系统描述了分类学，为实现本体框架奠定了基础，可用于实现知识推理。