步骤2 编辑狮子类的属性。这里我们定义狮子只吃素食动物。

步骤2 编辑狮子类的属性。这里我们定义狮子只吃素食动物。 步骤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 保存项目。点击下载该项目。 这篇接着基础篇和推理篇，对于基础篇和推理篇解释的步骤这里不在重复解释。不知道的朋友请 点击这里参照新手入门基础篇和推理篇 在本篇进阶片教先看基础篇和推理篇来熟悉基本操作步骤。 程中主要是介绍个体的编辑(Individuals)，查询插件(QueriesTab)的用法以及将编辑好的本体存储到数据库中(Owl Database)。对于Owl数据库我这里采用Mysql(对于其他的数据库请到官方网站查询)。 (进阶篇) 步骤1:这里要用到推理篇中保存的项目。没有的朋友请点击这里下载。打开推理篇中保存的newAnimal。根据推理机的推理我们知道了Lion是肉食动物，所以我们将其移到Carnivore肉食动物的下面作为它的子类