protege5.2介绍

标签：约束   基本   disjoint   关系   ati   ref   flex   subclass   数据类型   

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

protege5.2介绍

标签：约束   基本   disjoint   关系   ati   ref   flex   subclass   数据类型   

原文地址：https://www.cnblogs.com/kwzblog/p/12157495.html