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

• 作者: 曹存根 眭跃飞 高颖
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 本体 框架 理论 转换
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 2045-2053
• 页数: 9页
• 分类号: TP18
• 字数: 2546字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹存根	中国科学院计算技术研究所	91	991	17.0	27.0
2	眭跃飞	中国科学院计算技术研究所	35	313	9.0	17.0
3	高颖	中国科学院计算技术研究所	11	169	6.0	11.0