NKI中的本体、框架和逻辑理论(英文)

被引：7

作者：

眭跃飞

高颖

曹存根

机构：

[1] 中国科学院计算技术研究所

来源：

软件学报 | 2005年 / 12期

关键词：

本体; 框架; 理论; 转换;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Horn逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是这3个范畴之间的函子.这个结果保证了在NKI中,基于Horn逻辑程序的推理关于用本体和框架表示的知识库是正确的.

引用

页码：2045 / 2053

页数：9