基于范畴论的Web本体论描述研究.pdfVIP

第三期 叶丹丹，等：基于范畴论的Web本体论描述研究 147 语义网概念是互联网创始人英 国科学家Tim 类：分类关系和连接关系；H表示分类关系，是概念 Bemers-Iee于2000年 12月 18日在XML2000的会 与概念之间的父类 、子类等上下位的层次关系，Hf 议上正式提出来的。他对语义网的定义如下：“语义 C×C；rel表示连接关系，是除了上下位层次关系 网是一个网，它包含 了文档或文档的一部分，描述了 以外的其他关系，rel：尺一 C×C。n 事物间的明显关系，且包含语义信息，以利于机器的 为了在web中表现本体论的结构，则用描述概 自动处理。”语义网是为了改变现有互联网依靠文字 念和概念之间的关系——元数据来表示。万维网联 信息来共享资源的模式，而利用本体来描述语义信 盟提供了一系列定义元数据和元数据的推荐标准， 息，以到达语义级的共享，使得网络服务智能化。 如下 ： 语义网是运用一套通用的标签把数据信息进行 XML(ExtensibleMarkupI．anguage)：提供 了 结构化的。由于这些标签具有预定义的语义，当网 机构化文档的表层语法，但是没有任何具体的语义 络进行信息处理的时候，通过读取这些标签来关联 限制。 数据 ，因此网页才具有了语义。一个典型的Web网 XMISchema：用于限制XML文档的结构。 页是用HTML标记语言来表现的。如下： RDF(ResourceDescriptionFramework)：用于 labelname：／labelJonbr 定义对象 (“资源 ”)和对象之问的关系，它提供 了对 labelbirthday／label1987—09—02br 象模型的简单的数据语义，并且使用基于XML的语 labeltel：／labelxxxxxxxbr 法表达出来 。 RDF Schema：是一种词汇描述语言，用于描述 上面的信息用户通过浏览器，可以明白其表达 RDF资源所示的概念和属性之问的关系。 的语义。但是对于处理其数据的计算机来说，它们 ()WL(WebOntologyLanguage)：它是一种用 是无法理解”name“、”birthday“等信息的语义的。 于捕述元数据的本体语言，用于描述概念，属性，已 使用通用 标“签”来标识数据则可 以解决这个 问 及它们 内部及之间的关系，包括概念的所属关系，不 题。它也逐渐成为了定义Web数据的通用语言，这 交关系，基数限制，属性的类型，相等，枚举等。 称为元数据 (metadata)。于是，上面用HTML标记 3 范畴论 语言表示的数据可以表示为： nameJon／name 范畴是从数学的各个领域 中概况出来的一个高 birthday1987—09—02／birthday 度抽象的数学系统。它的提出被普遍的运用到了计 telxxxxxxx／tel 算机科学的各个领域 ，解决和解释其领域的科学问 题。下面先介绍一下范畴论 中需要用到的知识 。 应用上面通用标签 的思想为描述Web数据定 一 个范畴C由下列内容组成： 义一套通用元数据，从而形成了本体的概念。 (1)一个对象类 ob(C)，ob(C)的元称为C中的 对象，通常用A，B，…等表示范畴的对象。 2 本体概念 (2)一个态射类Mor(C)，M