精品文档---下载后可任意编辑基本操作方法在基础篇中有讲解，以下步骤中的操作不清楚的朋友请先看基础篇。点击这里下载到此处的项目，在protege 中点击 Open Project 打开项目。步骤 1 在 Animal 中建立狮子类和肉食动物类。定义这两个类在同一级中，即这两个类为兄弟关系，目的是推理后狮子变为肉食动物的子类。步骤 2 编辑狮子类的属性。这里我们定义狮子只吃素食动物。步骤 3 编辑肉食动物的属性。这里我们需要建立一个 eat 的子属性 maineat(主要吃的是)，因为肉食性动物可以吃植物，所以我们无法单纯的靠 eat 来推理出 Lion 是不是肉食性动物。这里我们定义肉食性动物 maineat 的值域是所有的动物。如下图精品文档---下载后可任意编辑步骤 4 将肉食动物的 maineat 属性变为充分必要条件。因为在现在的逻辑模型中我们的标准是开放世界假说，也就是说在没有成功证明某个陈述之前，我们将这个陈述定义为未知的事实而不是假的。因为我们没有明确指出肉食动物不能主要吃植物，所以肉食动物主要吃植物这个陈述是未知的，而不是假的。这样就给我们的推理造成了影响，所以我们需要明确指出肉食动物主要吃动物。也就是充分必要条件。做法是双击 NECESSARY(必要条件)中的将其拖拽到上方的 NECECSSARY & SUFFICIENT(充分必要条件)中。同样的方法将 Animal 也拖拽到充分必要条件中。状态如下图精品文档---下载后可任意编辑步骤 5 启动 RacerPro 推理机进行推论。假如没有的朋友请到 RacerPro 官方网站下载 。需要注册一下，然后在发给你邮件中，点击链接就可以下载。安装选默认路径即可，不然还需要设置路径。步骤 6 运用推理机进行推理。选择菜单中 OWL–>Classify taxonomy..(也可以点击标签上方的 Classify taxonomy..图标)的。这时 protege 会连接 RacerPro，然后推理机将做出推理。这时将推理机弹出的信息关闭，protege 中间会出现新的类阶层图，这里狮子类已经变为肉食动物的子类。并在信息对话框中的 Lion Moved from Animal to Carnivore。精品文档---下载后可任意编辑步骤 7 确认关系图。在 OWLViz 中 Asserted Model 是推理前的关系图，Inferred Model 是推理后的关系图。可以看到狮子类已经成为肉食动物的子类。精品文档---下载后可任意编辑步骤 8 保存项目。点击下载该项目。
