使用protege推理小例子---关系链

关系链推理 SubPropertityChain

关系链简单的说就是将多个关系表达式串联起来，如图 1-1
图1-1
小明的父亲是大明，大明的父亲是老明。这就是一个由两组关系连接的关系链，根据关系链可以推理出，小明和老明之间的关系是爷孙关系。

在Protege中使用关系链推理

1、创建Person类

在Entities的Class中添加Person类

2、创建对象关系

在本案例中有两个对象关系，分别是hasFather和hasGrandpa，在Object properity中创建这两个属性并给对象属性添加定义域和作用域。

注意：选中hasGrandpa属性，在SubProperity Of（Chian）选项中添加关系链"hasFather o hasFather";其中o是两组关系的连接符号。

3、添加实例

根据图1-1，在Individuals中以此创建小明、大明、老明三个实例，并为这些实例添加对象类型和彼此之间的对象属性。

4、进行推理

上述工作完成后，点集菜单栏中的Resoner选项卡下的 Start Resoner命令进行推理。

5、推理结果

执行推理命令后，小明实例的对象属性得到 hasGrandpa 老明的关系。