NKI中的本体、框架和逻辑理论
NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Hom逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是这3个范畴之间的函子.这个结果保证了在NKI中,基于Horn逻辑程序的推理关于用本体和框架表示的知识库是正确的.
本体、框架、理论、转换
16
TP18(自动化基础理论)
中国科学院资助项目60273019;60037017;科技部科研项目G1999032701;科技部资助项目2001CCA03000;国家重点实验室基金
2006-01-12（万方平台首次上网日期，不代表论文的发表时间）
共9页
2045-2053
