OWL Ontology

本体（Ontology） 用来获取某个领域的知识。

OWL Ontology 是一种描述领域概念和概念间关系的方式，不同方式有不同好处。OWL更容易描述和定义概念，可以用简单概念表示复杂概念，可以用推理机检查本体中的陈述和否定是否正确。

OWL Ontology由个体（Individuals）、属性（Properties）、类（Classes）组成。

个体（Individuals）代表领域中的一个具体对象。一个对象可能有多种名称，在OWL中要显式声明对象是否相同。个体（Individuals）可等同于实例（instance），通常认为是类的实例（instances of classes），一个实例可能属于多个类。

属性（Properties）是实例间的二元关系，用来连接两个实例。也可称为Attributes。在protege中，properties可分为Object Property和Data Properties，如果一个Object Property可使一个实例和多个实例连接，则称该属性为Functional Properties或single valued property。Properties存在可逆性（若有（A，hasmother,B），可得（B，ismotherof,A））和传递性（若有（A，有亲戚，B），（B，有亲戚，C），可得（A，有亲戚，C））。

类（Classes）是实例的集合，对类进行描述可以准确概述出类成员的要求。类有超类（父类）和子类，如类Anial和类Cat，Cat是Aniaml的子类。类间可定义其他关系，这些关系可以被推理机获取并推理得到新关系。