本体相关知识

本体有五个构成要素，包括类、属性、函数、公理、实例。类指代概念集合，即语义类型；实例指代对象，是本体中最小的原子，与语义类型是ｋｉｎｄ ｏｆ的关系；函数是关系的特定表达形式；属性具有限制类与实例的功能；公理通常为一阶谓词表运式。

OWL 语言中关于类、属性及个体间的等价性和不等价性

owl:equivalent Class：当两个类被声明为等价时，就是声明它们有相同的实例。等价性可以用来创建同义类。例如，类 Car 可以被说成是类Automobile 的等价类。据此，推理机可以推出：任何 Car 的实例都是Automobile 的实例，反之也成立。

owl:equivalent Property：两个属性也可以被声明为等价。相互等价的属性将一个个体关联到同一组其它个体。它也可以被用来创建同义属性。例如，has Leader 可以说成是 has Head 的等价属性(owl:equivalent Property)。据此，推理机能够推出：如果 X 通过属性 has Leader 与 Y 关联，那么 X也通过属性 has Head 与 Y 关联。推理机还能推出：has Leader 是 has Head的子属性，has Head 同时也是 has Leader 的子属性。owl:same As：两个个体可以声明为相同。这个构词用来创建一系列指向同一个个体的名字。