【摘 要】
：
描述逻辑作为一种知识表示的有效机制,已经成为构建形式化本体知识库的重要逻辑基础。基于描述逻辑的本体知识库被广泛地应用在智能体间的通信、异构信息源的集成、语义Web等
论文部分内容阅读
描述逻辑作为一种知识表示的有效机制,已经成为构建形式化本体知识库的重要逻辑基础。基于描述逻辑的本体知识库被广泛地应用在智能体间的通信、异构信息源的集成、语义Web等领域。虽然描述逻辑研究已经取得了很多成果,但它在处理否定定义方面还存在一些问题,一是描述逻辑中的术语集合在含有否定定义的情况下无法进行循环定义,二是基于描述逻辑的本体知识库无法进行否定信息的查询。本文首先阐述了在含有否定定义的情况下,描述逻辑术语集合无法进行循环定义的问题,并提出一种可以同时使用循环定义与否定定义的规则,提出可分层术语集合理论；然后,根据描述逻辑的语法形式和术语集合分层构建的特点,将循环不动点理论的相关定理在描述逻辑的语法结构下进行扩展；最后,根据可分层术语集合的特性,证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。本文将可分层程序的循环不动点理论在本体知识库下进行扩展,从而解决了在同时含有否定定义和循环定义时,描述逻辑中的术语集合语义模型无法确定的问题,同时,也为实现基于描述逻辑的本体知识库中否定信息的查询提供了理论依据。图4幅,表3个,参考文献32篇。
其他文献
随着多媒体技术的发展,人们对视频图像的分辨率提出了更高的要求。高分辨率图像能提供目标物体的更多细节信息,这对于图像的分析和处理有重要作用。然而,传感器的物理限制及
随着三维建模技术、三维扫描技术的发展,数字世界的三维模型呈海量增长,从如此多的三维模型中获取有用的信息,搜索引擎是必要的工具。基于文本的方式在描述三维模型及检索上
分数阶微分理论用于图像处理是一个新的研究方向。分数阶微分对图像高频信号的强化作用相对整数阶微分要缓和得多，但对信号的低频、甚低频部分则会非线性的保留。因此，将分数阶
核方法是机器学习领域中解决非线性学习问题的一种有效方法,大都要求核函数正定,然而,在实际问题中这样的要求常常很难满足；相反,在某些情况下,使用不定核往往能取得比正定核
随着基于内容音频检索技术的发展和应用，如何提取和分析音频的语义内容和结构化信息，是音频信息深度分析、处理以及音频应用的关键，而音频分割和聚类技术是音频结构化的基础，是解
近年来无线传感器网络在各个领域的应用中逐渐体现了它在信息感知、获取方面的强大能力，受到了全世界各个国家的重视，各国纷纷成立了专门的研究小组。这个由大量低功耗、低成本
环境光遮蔽（Ambient occlusion，AO）是一种计算机图形学领域中模拟低频全局光照的方法，被广泛地应用在实时渲染、数据可视化和计算机辅助设计相关的应用和产品中。与此同时，图像领
本论文主要研究了指纹图像预处理中所应用到的算法,所涉内容包括以下几部分：质量评估,图像分割,图像增强,二值化以及细化算法等。本文的研究内容围绕着“方向图”与“自适应”
X射线计算机断层成像(X-ray Computerized Tomography, CT)具有空间分辨率高,扫描速度快,病人成本低,能够提供三维成像的优点。近年来, CT扫描技术已经在临床医学诊断中得到
随着经济发展的加快，中国的金融市场和金融体制不断完善。在国民人均可支配收入不断增长的趋势下，证券作为一种主要的大众投资方式，在近几年的时间内，越来越受到人们的投资青睐。