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

来源 :软件学报 | 被引量 : 0次 | 上传用户：cbir

【摘要】

：

NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Hom逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并

【作者】

：

眭跃飞高颖曹存根

【机构】

：

中国科学院

【出处】

：

软件学报

【发表日期】

：

2005年12期

【关键词】

：

本体框架理论转换 ontologies frames theories transformation

【基金项目】

：

中国科学院资助项目，科技部科研项目，科技部资助项目，国家重点实验室基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

斯里兰卡K坝土石坝填筑质量控制

碾压式土石坝是现今国内外拦水大坝中引用比较广泛的坝型,具有就地取材、对地质要求低、地基适应性强、结构简单、便于机械化组织快速施工等特点,但由于施工过程技术与质量控

期刊

斯里兰卡K坝土石坝填筑质量控制工程实例

基于混淆矩阵和Fisher准则构造层次化分类器

构造层次化分类器的首要环节是确定各个子分类器的层属关系及其内部组成.从模式间的相似关系入手,实现了一种自动产生层次化分类器结构的方法.为了描述模式间的相似关系,首先

期刊

层次化分类器相似性度量模式相似关系分析机FISHER准则自适应模式组合hierarchical classifier similarity meas

贯彻落实“三农”政策努力为阿勒泰地区农业强农村美农牧民富作贡献

阿勒泰地区各级政协组织要主动开展政治协商活动，为做好农村改革积极建言献策；要扎实开展民主监督工作，为做好“三农”工作积极建言献策；要认真搞好参政议政工作，为做好“三农”工

期刊

阿勒泰地区“三农”政策建言献策

肉毒毒素检测方法研究进展

肉毒毒素是肉毒梭状芽胞杆菌在生长繁殖过程中产生的一种神经毒素,对人和动物具有强毒性和高致死性。因其制备简单、毒性强,已被列为最具威胁的生物恐怖剂之一,同时也是重要

期刊

肉毒毒素质谱检测灵敏度

云南鹤庆县北衙片区整体搬迁安置资产收益扶贫改革

鹤庆县北衙片区整体搬迁安置项目属矿产资源开发建设征地影响搬迁安置，该项目实施参照水电开发移民实行前期补偿补助、后期扶持的安置模式。依据国务院等相关文件精神，结合政策

期刊

矿产资源开发集体财产入股资产收益北衙片区

如何矫治“地包天”？

如何矫治“地包天”？编辑同志：我的下颌明显外伸，即人们常说的“地包天”，影响美观，还有碍咀嚼和说话。为此，我很苦恼。请问，有无矫治方法７３９６３０部队刘洪涛刘洪涛同志：“地包天”医学上称反

期刊

矫治方法刘洪涛上前牙前移外伸下颌弓下颌牙前牙上下颌骨牙面上颌弓

象鼻岭水电站大坝碾压混凝土温控措施

象鼻岭水电站位于贵州省威宁县与云南省会泽县交界处的牛栏江上,水库坝高141.5m,碾压混凝土工程量为81.93×104m^3,地处暖温带高原季风气候,受季风、地形、低纬的影响形

期刊

碾压混凝土温控水电工程象鼻岭水电站

“3S”技术在1:5×104地质灾害详细调查中的应用

：“3S”技术是将遥感系统、全球定位系统、地理信息系统融为一个统一的有机体，具有强大的空间信息处理以及分析能力。借助”3S”技术，依托兰坪县地质灾害详细调查项目，通过GPS定

期刊

3S技术地质灾害详细调查兰坪

桑河二级水电站安全监测关键技术

桑河二级为宽河谷河床式水电站,兼有混凝土坝及均质土坝,左右岸地势平缓,给安全监测工程带来了挑战.实施过程中,解决了水平位移基准可靠性、深层变形监测等关键技术问题,不仅

期刊

安全监测桑河二级变形渗流

警惕民族隔阂的裂痕夯实社会稳定的群众基础--以博乐市社区稳定调查为例

在新疆，维护社会稳定，除了用发展经济的方式解决民生问题，营造和谐的社会氛围外，消除民族隔阂、增强各民族的信任是不容忽视的，且是影响长远的重要因素，这需要我们应注重从社会角度

期刊

民族隔阂社区族际交往社会稳定

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

与本文相关的学术论文