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

摘要：

本体技术是语义Web的核心.现有的本体方法都是基于集合论的,本文从范畴论的层次分析了集合论数学的局限性,以及这种局限性对现有本体方法的影响,并探讨基于范畴论的本体方法,通过实例系统说明了范畴论本体的构建方法,并指出范畴论本体所克服的现有本体的不足.

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

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：广东省科技攻关计划2003A1030403

在线出版日期：2006-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-3,117