• 本体理论知识

    普通类
    • 支持
    • 批判
    • 提问
    • 解释
    • 补充
    • 删除
    • 本体基础知识

    1、OWL本体的重要组成部分

     Individuals:个体,代表一个领域里面的对象。可以理解成一个类的实例(instances of classes)。

     Properties:属性,是两个个体之间的双重联系,它有三个重要的特性(functional、transitive、symmetric)。

     Classes:个体的集合,是一系列概念的语义表达,和编程语言中的类相似,有继承体系。

     Class Axiom:类的公理,在验证一致性和推理中发挥作用。

     Class Expression:类的表达,有并、交、补、匿名类等。

    2、实例

     在OWL中,一个实例可以既是这个类的实例,又是其他类的实例。

    3、类

     OWL中的类,只是继承上说的,是类似的,但更应该把这些类看成集合。本体里面的类按层次划分。

    4、DisjointClasses

     声明2个类没有交集,申明DisjiontClasses的是同一层次的类。

    5、Properties

     代表一种关系relationship。一种类型叫ObjectProperties,代表了individual之间的一种关系;另一种类型叫DatatypeProperties,代表了individual和基本数据类型的关系,就像类的属性。还有一种叫Annotation Properties,是属于元数据,数据的数据,可以用来解释Classes、Individual、Object/Datatype Properties。

    6、Properties特性

     反(逆)关系:inverse,如小张是老张的儿子,那么反关系中老张是小张的父亲。

     函数关系:functional,如小张最好的朋友是李四,小张最好的朋友是小豆子,那么李四和小豆子等同。

     对等(对称)关系:symmetric,指的是properties的对等性,是2个individual和1个properties,如老李与老张是邻居,与上面的inverse是2个individual和2个properties,小张是老张的儿子,老张是小张的父亲。

     传递性:transitive。

     非对称关系:asymmetric,如反关系中的,小张是老张的儿子,不可能用对称关系说老张是小张的儿子。

     自反性:reflexive,即将一个properties指向自身,如小张知道小李,小张知道自己。

      非自反性:irreflexive,如“是儿子”就非自反,自己不会是自己的儿子。

    7、Properties的domain与range

     domain、range和properties特性不一样,特性是一种推理机制要用来约束(Constaint)的,约束即是限制,可以用推理机制来验证,限制出问题就会推理出错。而domain、range是一种公理(axiom),公理总是对的,推理要基于它们。

    8、定义类

     总共有三类定义类的表达,一个是命名类(Named Class),一个是对很多命名类的两次集合运算而杂糅出新的类,再有就是限制性的类,也就是匿名类(Restriction Class),用动宾形式表达。

       命名类:是最常用的,没有任何语义,仅仅是ID号,一个标示;

       匿名类:没有一个命名,没有一个标志,会在每个命名类的父类声明(涉及到一个建模原则:把一个类的各个特征抽象出来,将每个特征转化为动宾结构,再将其表达为一个匿名类,一个类有多少个特征,它就有多少个父类)。

    9、类公理

      SubClassOf:表示类与类的层次关系,上下所属关系,能将所有的类与类之间的关系完整推理出来。

      EquivalentClasses:表示了类与类之间的等价关系。

      DisjointClasses:限制作用,将类与类从一个概念上完全隔离。

    • 标签:
    • 老张
    • 关系
    • 推理
    • 一种
    • individual
    • 表达
    • 小张
    • 命名
    • 本体
    • 儿子
    • 理论知识
    • properties
  • 加入的知识群:
    学习元评论 (0条)

    评论为空
    聪明如你,不妨在这 发表你的看法与心得 ~



    登录之后可以发表学习元评论
      
暂无内容~~
顶部