NKI中的本体、框架和逻辑理论

摘要：

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

关键词：本体、框架、理论、转换

所属期刊栏目：16

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目60273019;60037017;科技部科研项目G1999032701;科技部资助项目2001CCA03000;国家重点实验室基金

在线出版日期：2006-01-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：2045-2053