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

计算机科学 ›› 2006, Vol. 33 ›› Issue (9): 1-3.

• 计算机网络与信息安全 • 下一篇

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

章远李师贤

中山大学计算机系,广州510275

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
广东省科技计划工业攻关项目（2003A1030403）资助.

ZHANG Yuan ,LI Shi-Xian （Department of Computer,Sun yat-sen University,Guangzhou 510275）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

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

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

Abstract: 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

Key words: Formal ontology, Category theory, Sketch, Graph based logic

章远李师贤. 基于范畴论的形式化本体研究[J]. 计算机科学, 2006, 33(9): 1-3. https://doi.org/

ZHANG Yuan ,LI Shi-Xian （Department of Computer,Sun yat-sen University,Guangzhou 510275）. [J]. Computer Science, 2006, 33(9): 1-3. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

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

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0