%0 Journal Article
%T 基于范畴论的形式化本体研究
%A 章远 李师贤？
%J 计算机科学
%D 2006
%X 本体技术是语义web的核心。现有的本体方法都是基于集合论的，本文从范畴论的层次分析了集合论数学的局限性，以及这种局限性对现有本体方法的影响，并探讨基于范畴论的本体方法，通过实例系统说明了范畴论本体的构建方法，并指出范畴论本体所克服的现有本体的不足。
%K 形式化本体范畴论略图图逻辑
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=22771152&flag=1