protege推理，
其中数据分为几种：
- 实体类
- 个体
- 对象属性，即关系
- 数据属性，为个体的数据属性，也是真正的属性，根据个体的不同属性，可实现推理
但推理似乎是以类进行的，也就是说在构建知识图谱之初，应以类别构建，方可用于推理（需要再学习一下推理机制，以明确应如何定义实体）
下面把别的网站推理内容贴过来，作为资料。
https://blog.csdn.net/ljp1919/article/details/84135562
其中未说一点，即应把北京设置数据属性，才能进行推理
结果如下：
相关文章：