%0 Journal Article
%T Research on Formal Categorical Ontologies<br>基于范畴论的形式化本体研究
%A ZHANG Yuan
%A LI Shi-Xian
%A <br>章远
%A 李师贤
%J 计算机科学
%D 2006
%I 
%X 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.
%K Formal ontology
%K Category theory
%K Sketch
%K Graph based logic<br>形式化本体
%K 范畴论
%K 略图
%K 图逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4700BD13E0877E34&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=9CF7A0430CBB2DFD&sid=CA4FD0336C81A37A&eid=38B194292C032A66&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=14