【无标题】

protege简单推理

案例一、给出人物之间的父子关系推理出人物之间的爷孙关系

1. 建立Person类
   

2. 定义person类之间的关系
   这里主要有两种关系：父子关系、爷孙关系
   

3. 对要推理的关系定义推理规则
   这里的SUuperPropertyOf(Chain)表示关系的传递链不用推理的关系什么也不需要设置
   
   4.定义实例
   这里定义了三个实例：小明、大明、老明，并赋予三者之间的关系。由于爷孙关系是要推导出，所以这里的实例之间的关系只定义父子关系
   

5. 进行关系推理
   在任意界面点击Reasoner–>start Reasoner
   
   6.查看推理结果
   

案例二、给出各种动物推断属于哪种类别

1.建立类
这里主要是通过推理机推理出cow、lion、giaffe各自属于哪个类别

2.定义类之间的关系




3.定义食草与食肉动物类的相关信息


4.将食草食肉动物的类中定义好的条件转化为充要条件
点击该类，选择Edit按钮—》点击convert to defined class

转换后的结果

5.分别定义cow、lion、giaffe中的吃食要求


6.启动推理机，查看推理结果

附：可在资源中查看相关代码