protege推理系列-1-对象属性推理

0-背景

假设有如下一个情景：
小明去北京，如果北京下雨，则小明需要带伞。
需要在protege中表示上述的情景。
定义了3个class：person，place，daily_use。
对应的实体，分别是小明，北京和雨伞。
同时创建了对象属性：go_to，其domain是person，range是place。
对象属性：take_something，其domain是person，range是daily_use。
数据属性：wether，其range是string。

1-方案

采用protege中的推理机：Pellet，撰写对应的推理规则。
撰写规则如下：

place(?pl), wether(?w, "rain"), person(?p), go_to(?p, ?pl), daily_use(?um) -> take_something(?p, ?um)

2-结果

欢迎赞赏