Protege4之基础知识介绍

1.基本介绍
　　Protege是由斯坦佛大学开发的一个目前最流行的本体编辑和知识获取软件，它是一款基于 Java 的可扩展工具，属于开放源码软件，能够为众多的个人爱好者和集体组织提供一套较为完整的可视化工具，可以很方便地来构建领域模型和基于信息知识的本体应用。

2.本体
2-1. 本体的定义
　　在计算机科学与信息科学领域，理论上，本体是指一种“形式化的，对于共享概念体系的明确而又详细的说明”。本体提供的是一种共享词表，也就是特定领域之中那些存在着的对象类型或概念及其属性和相互关系；或者说，本体就是一种特殊类型的术语集，具有结构化的特点，且更加适合于在计算机系统之中使用；或者说，本体实际上就是对特定领域之中某套概念及其相互之间关系的形式化表达（formal representation）。本体是人们以自己兴趣领域的知识为素材，运用信息科学的本体论原理而编写出来的作品。本体一般可以用来针对该领域的属性进行推理，亦可用于定义该领域（也就是对该领域进行建模）。此外，有时人们也会将“本体”称为“本体论”。
　　作为一种关于现实世界或其中某个组成部分的知识表达形式，本体目前的应用领域包括（但不仅限于）：人工智能、语义网、软件工程、 生物医学信息学、图书馆学以及信息架构。

2-2.本体描述方法
　　最常用的是W3C的OWL(web ontology language)。OWL的主要components是Individuals、Properties和Classes。
　 2-2-1.Classes
　　 OWL中的Classes可以解释为包含individuals的sets(集合)，可以用数学的方法精确地描述class中成员要满足的特性。例如，class Cat包含感兴趣的领域中的所有cats。
　2-2-2.Individuals
　　 Individuals代表领域对象。Individuals也被称为实例。Individuals可以被称为“Classes的实例”。
　2-2-3.Properties
　　Properties是individuals之间的二元关系，将两个individuals连接（link）在一起。例如，hasChild属性将individual Peter和Matthew连接在一起，表示Peter hasChild Matthew。Properties有以下特点：

Properties可以有逆关系，例如，hasOwner的逆关系是isOwnedBy。
Properties可以只有一个取值，设置为functional。
Properties可以是transitive或symmetric。
Properties在Protege中叫做SLots，在描述逻辑中叫做roles，在UML中叫做relations，在GRAIL中叫做attributes。