Protege5.0.0

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，如小张是老张的儿子，那么反关系中老张是小张的父亲。

If a property is inverse functional then it means that the inverse property is functional. For a given
individual, there can be at most one individual related to that individual via the property.

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

If a property is functional, for a given individual, there can be at most one individual that is related to
the individual via the property. Functional properties are also known as single valued properties and also features.

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

If a property P is symmetric, and the property relates individual a to individual b then individual b is

also related to individual a via property P.

非对称关系：asymmetric，如反关系中的，小张是老张的儿子，不可能用对称关系说老张是小张的儿子。
If a property P is asymmetric, and the property relates individual a to individual b then individual
b cannot be related to individual a via property P .

传递性：transitive。

If a property is transitive, and the property relates individual a to individual b, and also individual b to
individual c, then we can infer that individual a is related to individual c via property P.

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

A property P is said to be reflexive when the property must relate individual a to itself.

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

If a property P is irreflexive, it can be described as a property that relates an individual a to individualb,
where individual a and individualb are not the same.

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：限制作用，将类与类从一个概念上完全隔离。