未找到相关数据
基于范畴论的形式化本体研究
被引：8
作者：
章远
李师贤
机构：
[1] 中山大学计算机系
来源：
基金：
广东省科技计划;
关键词：
形式化本体;
范畴论;
略图;
图逻辑;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
080201 [机械制造及其自动化];
摘要：
本体技术是语义Web的核心。现有的本体方法都是基于集合论的,本文从范畴论的层次分析了集合论数学的局限性,以及这种局限性对现有本体方法的影响,并探讨基于范畴论的本体方法,通过实例系统说明了范畴论本体的构建方法,并指出范畴论本体所克服的现有本体的不足。
引用
收藏
页码：1 / 3+117
+117
页数：4
相关论文