%0 Journal Article
%T Ontologies, Frames and Logical Theories in NKI<br>NKI中的本体、框架和逻辑理论
%A SUI Yue-Fei
%A GAO Ying
%A CAO Cun-Geng
%A <br>眭跃飞
%A 高颖
%A 曹存根
%J 软件学报
%D 2005
%I 
%X NKI (The National Knowledge Infrastructure) is a large-scale knowledge base, which uses frames to represent concepts in ontologies, and uses Horn logic programs as the automated reasoning. The formalizations of ontologies, frames and logical theories in NKI, and the transformations between the formalizations are given, and proved to be functors between ontologies, frames and logical theories if they are taken as categories in the theory of category. The result proved in this paper guarantees that in NKI, the inference based on the Horn logic programs is correct with respect to the knowledge base represented by ontologies and frames.
%K ontologies
%K frames
%K theories
%K transformation<br>本体
%K 框架
%K 理论
%K 转换
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=BDFFB8C05A5C7C43&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=59906B3B2830C2C5&sid=28A5659E3BD66D6A&eid=84307FA918B9F395&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=8