Protege推理小例子——根据数值属性推理

例子说明

在OWL本体中存在对象属性和数值属性两种本体属性，本文就以一个小例子来使用数值属性进行推理。
案例介绍：火车、公交车等公共交通工具上都会有明确地标识——身高1.2m以上的或者14岁以上的儿童需要全额购票。在本案例中以此进行知识推理。

1、构建本体

根据本案例需要构建的本体包括Person类和Ticket两大类；其中Person类又包括Adults和Children两类，Ticket包括FullTicket和FreeTicket两类。如下图：

2、建立数据属性

我们的预期目标是根据乘车人的年龄、身高等省份信息来确定是全票还是免票对象。所以建立了id、Age、Height三个Person数据属性，其数据类型分别为int、int和double

3、建立规则

为FreeTicket和FulllTicket建立规则。规则为：1、如果一个人年纪大于12岁那么买全票；2、如果一个人身高低于1.2m且年纪小于等于12岁则免票。如下图：

4、建立实体

建立三个实体，小亮、小明、老王信息如下：

姓名	id	Age	Height（m）
小亮	1	11	1.8
小明	1	11	1.14
小亮	1	55	1.15

推理结果

利用protege自带推理机推理，得到小明FreeTicket、老王FullTicket、小亮FullTicket。