protege4.0使用中的理论

protege4.0使用中的理论

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和基本数据类型的关系，就像类的属性。还有一种叫AnnotationProperties，是属于元数据，数据的数据，可以用来解释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：限制作用，将类与类从一个概念上完全隔离。