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

作者：眭跃飞; 高颖; 曹存根本体框架理论转换

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社