Protege5.0.0入门学习
OWL本体的重要组成部分
- Individuals：个体，代表一个领域里面的对象。可以理解成一个类的实例（instances of classes）。
- Properties：属性，是两个个体之间的双重联系，它有三个重要的特性（functional、transitive、symmetric）。
- Classes：个体的集合，是一系列概念的语义表达，和编程语言中的类相似，有继承体系。
- Class Axiom：类的公理，在验证一致性和推理中发挥作用。
- Class Expression：类的表达，有并、交、补、匿名类等。
Properties:
代表一种关系relationship。
- ObjectProperties，代表了individual之间的一种关系；
- Data Properties，代表了individual和基本数据类型的关系，就像类的属性;
- AnnotationProperties，属于元数据，数据的数据，可以用来解释Classes、Individual、Object / Data Properties。
Properties特性:
- 反（逆）关系：inverse，如小张是老张的儿子，那么反关系中老张是小张的父亲。
- 函数关系:functional，如小张最好的朋友是李四，小张最好的朋友是小豆子，那么李四和小豆子等同。
- 对等（对称）关系：symmetric，指的是properties的对等性，是2个individual和1个properties，如老李与老张是邻居，与上面的inverse是2个individual和2个properties，小张是老张的儿子，老张是小张的父亲。
- 传递性：transitive。
- 非对称关系：asymmetric，如反关系中的，小张是老张的儿子，不可能用对称关系说老张是小张的儿子。
- 自反性：reflexive，即将一个properties指向自身，如小张知道小李，小张知道自己。
- 非自反性：irreflexive，如“是儿子”就非自反，自己不会是自己的儿子。
Properties的domain与rangeµ
domain、range和properties特性不一样，特性是一种推理机制要用来约束（Constaint）的，约束即是限制，可以用推理机制来验证，限制出问题就会推理出错。而domain、range是一种公理（axiom），公理总是对的，推理要基于它们。
Data Properties:
- Equivalent to (another property): 两个属性表示的意思相同
- SubProperty of : 另外一个属性的子属性
- Domains (class): 主语，为一个类添加该属性
- Ranges : 类型
- Disjoint With : 两个属性没有交集,应该是指同一个类不能同时拥有这两个属性的意思.
定义类
总共有三类定义类的表达，一个是命名类(Named Class)，一个是对很多命名类的两次集合运算而杂糅出新的类，再有就是限制性的类，也就是匿名类(Restriction Class)，用动宾形式表达。
- 命名类：是最常用的，没有任何语义，仅仅是ID号，一个标示；
- 匿名类：没有一个命名，没有一个标志，会在每个命名类的父类声明(涉及到一个建模原则：把一个类的各个特征抽象出来，将每个特征转化为动宾结构，再将其表达为一个匿名类，一个类有多少个特征，它就有多少个父类)。
类公理
- SubClassOf：表示类与类的层次关系，上下所属关系，能将所有的类与类之间的关系完整推理出来。
- EquivalentClasses：表示了类与类之间的等价关系。
- DisjointClasses：限制作用，将类与类从一个概念上完全隔离。
