基于范畴论的形式化本体研究  

Research on Formal Categorical Ontologies

作　　者：章远[1] 李师贤[1] 

机构地区：[1]中山大学计算机系,广州510275

出　　处：《计算机科学》2006年第9期1-3,117,共4页Computer Science

基　　金：广东省科技计划工业攻关项目(2003A1030403)资助。

摘　　要：本体技术是语义Web的核心。现有的本体方法都是基于集合论的,本文从范畴论的层次分析了集合论数学的局限性,以及这种局限性对现有本体方法的影响,并探讨基于范畴论的本体方法,通过实例系统说明了范畴论本体的构建方法,并指出范畴论本体所克服的现有本体的不足。Formal ontologies are very important for semantic Web. While all formal ontologles used today are based on set theory, we provide a new kind of formal ontology based on category theory. We dissertate why categorical ontologies are better from the point of view of category theory. Some examples show how to build categorical ontologies and that they are more expressive than others.

关 键 词：形式化本体 范畴论 略图 图逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]