基于范畴论的形式化本体研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:toforworld
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本体技术是语义Web的核心。现有的本体方法都是基于集合论的,本文从范畴论的层次分析了集合论数学的局限性,以及这种局限性对现有本体方法的影响,并探讨基于范畴论的本体方法,通过实例系统说明了范畴论本体的构建方法,并指出范畴论本体所克服的现有本体的不足。
其他文献
随着应用需求的增长,三维模型的规模和复杂度急剧增长,给模型的存储和在有限带宽的网络上传输带来了很大的困难。因此,研究空间需求小、适合于计算机网络传输的三维模型的表示方法具有十分重要的意义。三维模型的压缩主要包括拓扑压缩和几何压缩。由于压缩数据中的大部分是几何压缩数据,因此已发展了许多几何压缩方法,以提高模型的压缩效率。为使相关的学者和工程技术人员较好地了解几何压缩技术,本文对这方面的工作进行了较全
直觉模糊集(intuitionistic fuzzy sets)、区间值模糊集(interval-valued fuzzy sets)以及Vague集对普通fuzzy集的扩展是给出了隶属度的上下限,把隶属度从[0,1]区间中的一个单值推
随着Internet的发展,QoS在Internet中扮演着越来越重要的作用.本文对Internet中的QoS分析理论进行了归纳总结,归纳了三种分析模型,并对各种分析模型的特征运用网络计算理论进