本体知识库的封闭世界假设研究

来源 :北京交通大学 | 被引量 : 2次 | 上传用户:wangyingygp
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机科学和逻辑学的发展,出现了以描述逻辑为基础的本体模型的概念和建立在此模型之上的本体知识库。知识库是在计算机科学中的数据库的启发下诞生的,目的是把海量的知识以数据信息的方式储存于其中,完成知识查询和知识推理的功能。知识推理是为了获取更多的知识,以便更好地完成查询的功能,具备推理功能也是知识库与普通数据库的根本不同之处。对本体知识库进行知识的推理扩展可以采用多种不同的方法和途径,是一个值得探讨的话题。考虑到知识扩展对于人类社会发展的重要性,提供知识扩展的方法和探讨知识库的知识推理过程无疑具有非常重要的意义。封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法,也是完全可以引入本体知识库进行知识信息的增广完备的。本文将把封闭世界假设引入到本体知识库当中,通过实例演算,探讨知识增广的算法步骤和实际过程,探究其可行性,并揭示其重要意义。把封闭世界假设引入到本体知识库进行研究是一个全新的尝试,本文作为一个起点,实例规模不大,主要在数学演算层面进行描述,希望为日后该领域的研究与发展提供参考。
其他文献
P2P,是peer-to-peer的缩写,或称为对等联网。它使人们可以直接连接到其他用户的计算机上交换文件,而不需像过去那样连接到服务器上进行浏览和下载。P2P发展过程中,结构化P2P
由于受各种因素的影响,采集到的指纹图像往往是一幅含多种噪声的灰度图像,图像中可能出现纹线粘连、纹线断裂或者对比度不均匀等情形。在这种情况下很难从图像中正确分离出指
随着人类基因组计划的完成,生命科学领域也进入了后基因时代。而基因和蛋白质也成为生命科学研究的重点之一。过去,生物科学家们关注的是单一的基因或蛋白质。现在,尤其是将
网格是构建在Internet上的一组新兴技术,其目标是在动态变化的、广域分布的异构虚拟组织间实现资源协同共享。在网格系统中,任务调度是其重要的组成部分,它根据任务信息采用
随着全球网络化、信息化的发展,信息检索技术在处理网上爆炸性增长的信息资源时显得尤为重要。但传统的信息检索技术主要是基于字符串匹配的关键字检索技术,对语义匹配的支持
SaaS(software as a service,软件即服务)模式是一种新型的软件服务模式,它的出现为企业信息化的发展注入了新的力量。目前我国部分企业信息化难以推进,有一个主要原因就是软硬件
信息感知、数据收集与处理是实现物理世界、计算世界和人类社会三元世界连通的纽带,将为计算机网络的持续发展注入新的燃料。随着物联网技术在经济社会各领域应用的拓展深化
电动机优化设计的最优解与许多因素有关,如模型的建立、优化变量的选取、其某些参量的确定等,最重要的是优化方法。传统的优化策略大多基于梯度计算,对函数的连续性、导数的存在
在数据挖掘的实际应用当中,作为数据挖掘对象的源数据通常都是带有噪声的。人为的错误、测量设备的误差、数据收集过程的漏洞都是导致噪声的原因。传统的做法是在应用数据挖掘
群智能方法作为一种新兴的演化计算技术,已成为人工智能领域研究的一个新的分支。粒子群优化算法源于对鸟群和鱼群群体运动行为的研究,是一种新的群体智能优化算法。粒子群算法