Ontology理論研究和应用建模.doc

Ontology理论研究和应用建模 ——《Ontology研究综述》、w3c Ontology研究组文档以及Jena编程应用总结 关于Ontology Ontology的定义 Ontology最早是一个哲学的范畴，后来随着人工智能的发展，被人工智能界给予了新的定义。然后最初人们对Ontology的理解并不完善，这些定义也出在不断的发展变化中，比较有代表性的定义列表如下： 范畴 提出时间/提出人 定义 哲学 客观存在的一个系统的解释和说明，客观现实的一个抽象本质 计算机 1991/Neches等 给出构成相关领域词汇的基本术语和关系，以及利用这些术语和关系构成的规定这些词汇外延的规则的定义 1993/Gruber 概念模型的明确的规范说明 1997/Borst 共享概念模型的形式化规范说明 1998/Studer 共享概念模型的明确的形式化规范说明 关于最后一个定义的说明体现了Ontology的四层含义： 概念模型（cerptualization） 通过抽象出客观世界中一些现象（Phenomenon）的相关概念而得到的模型，其表示的含义独立于具体的环境状态 明确（explicit） 所使用的概念及使用这些概念的约束都有明确的定义 形式化（formal） Ontology是计算机可读的。 共享（share） Ontology中体现的是共同认可的知识，反映的是相关领域中公认的概念集，它所针对的是团体而不是个体。 Ontology的目标是捕获相关的领域的知识，提供对该领域知识的共同理解，确定该领域内共同认可的词汇，并从不同层次的形式化模式上给出这些词汇（术语）和词汇之间相互关系的明确定义。 Ontology的建模元语 Perez等人用分类法组织了Ontology，归纳出5个基本的建模元语（Modeling Primitives）： 类（classes）或概念（concepts） 指任何事务，如工作描述、功能、行为、策略和推理过程。从语义上讲，它表示的是对象的集合，其定义一般采用框架（frame）结构，包括概念的名称，与其他概念之间的关系的集合，以及用自然语言对概念的描述。 关系（relations） 在领域中概念之间的交互作用，形式上定义为n维笛卡儿积的子集：R:C1×C2×…×Cn。如子类关系（subclass-of）。在语义上关系对应于对象元组的集合。 函数（functions） 一类特殊的关系。该关系的前n－1个元素可以唯一决定第n个元素。形式化的定义为F:C1×C2×…×Cn-1→Cn。如Mother-of就是一个函数，mother-of(x,y)表示y是x的母亲。 公理（axioms） 代表永真断言，如概念乙属于概念甲的范围。 实例（instances） 代表元素。从语义上讲实例表示的就是对象。 另外，从语义上讲，基本的关系共有4种： 关系名 关系描述 part-of 表达概念之间部分与整体的关系。 kind-of 表达概念之间的继承关系，类似于面向对象中的父类与子类之间的关系。 instance-of 表达概念的实例与概念之间的关系，类似于面向对象中的对象和类之间的关系。 attribute-of 表达某个概念是另一个概念的属性。如“价格”是桌子的一个属性。 在实际建模过程中，概念之间的关系不限于上面列出的4种基本关系，可以根据领域的具体情况定义相应的关系。 Ontology和语义网络 Ontology和语义网络的联系和区别列表如下： 联系 它们都是知识表示的形式，均可以通过带标记的有向图来表示，适合于逻辑推理。 区别 比较方面 Ontology 语义网络 描述的对象和范围 是对共享概念模型的规范说明，即其概念在某个特定领域是公认的，是面向特定领域的概念模型。 从数学上讲是一种带有标记的有向图，最初用于表示命题信息，现广泛用于专家系统表示知识。其节点表示物理实体、概念或状态，边用于表示关系，但是对节点和边都没有特殊规定，所以描述的范围比Ontology广。 【例子】：语义网络中可以表达“我的汽车是红色的”，而Ontology则适合表达如“团体组织的内部构成”等整体内容。 表示的深度上 有5个要素“元语，类，关系，函数，公理和实例”，它通过这5个要素来严格、正确地刻画所描述的对象。 深度上不如Ontology，对建模没有特殊要求。 建模条件 建立必须有专家的参与，相对更加严格和困难，这也是Ontology目前的主要缺点之一。 不必有专家的参与。 Ontology的描述语言 目前在具体应用中Ontology的表示方式主要有4类： 非形式化语言 半非形式化语言 半形式化语言 形式化语言 可以用自然语言来描述Ontology，也可以用框架、语义网络或逻辑语言来描述。 目前