Protege新手入门推理篇.pdf

《Protege新手入门推理篇.pdf》由会员分享，可在线阅读，更多相关《Protege新手入门推理篇.pdf（3页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、.本篇将接着基础篇，本篇将接着基础篇，在动物本体中，在动物本体中，建立狮子类建立狮子类(Lion)(Lion)和肉食动物类和肉食动物类(Carnivore)(Carnivore)，通过推理得到狮通过推理得到狮子是肉食动物。通过这个实例来简单了解推理机子是肉食动物。通过这个实例来简单了解推理机 RacerRacer 的用法。的用法。基本操作方法在基础篇中有讲解，基本操作方法在基础篇中有讲解，以下步骤中的操作不清楚的朋友请先看基础篇。以下步骤中的操作不清楚的朋友请先看基础篇。点击这里下载到此点击这里下载到此处的项目处的项目，在，在 protegeprotege 中点击中点击 Open Projec

2、tOpen Project 打开项目。打开项目。步骤步骤 1 1 在在 AnimalAnimal 中建立狮子类和肉食动物类。定义这两个类在同一级中，即这两个类为兄弟关系，中建立狮子类和肉食动物类。定义这两个类在同一级中，即这两个类为兄弟关系，目的是推理后狮子变为肉食动物的子类。目的是推理后狮子变为肉食动物的子类。步骤步骤 2 2 编辑狮子类的属性。这里我们定义狮子只吃素食动物。编辑狮子类的属性。这里我们定义狮子只吃素食动物。.!.步骤步骤 3 3 编辑肉食动物的属性。编辑肉食动物的属性。这里我们需要建立一个这里我们需要建立一个 eateat 的子属性的子属性 maineat(maineat(主

3、要吃的是主要吃的是)，因为肉食性因为肉食性动物可以吃植物，动物可以吃植物，所以我们无法单纯的靠所以我们无法单纯的靠 eateat 来推理出来推理出 LionLion 是不是肉食性动物。是不是肉食性动物。这里我们定义肉食性这里我们定义肉食性动物动物 maineatmaineat 的值域是所有的动物。如下图的值域是所有的动物。如下图步骤步骤 4 4 将肉食动物的将肉食动物的 maineatmaineat 属性变为充分必要条件。属性变为充分必要条件。因为在现在的逻辑模型中我们的标准是开放世因为在现在的逻辑模型中我们的标准是开放世界假说，界假说，也就是说在没有成功证明某个述之前，也就是说在没有成功证明

4、某个述之前，我们将这个述定义为未知的事实而不是假的。我们将这个述定义为未知的事实而不是假的。因为我因为我们没有明确指出肉食动物不能主要吃植物，所以肉食动物主要吃植物这个述是未知的，而不是假的。们没有明确指出肉食动物不能主要吃植物，所以肉食动物主要吃植物这个述是未知的，而不是假的。这样就给我们的推理造成了影响，这样就给我们的推理造成了影响，所以我们需要明确指出肉食动物主要吃动物。所以我们需要明确指出肉食动物主要吃动物。也就是充分必要条件。也就是充分必要条件。做法是双击做法是双击 NECESSARY(NECESSARY(必要条件必要条件)中的中的将其拖拽到上方的将其拖拽到上方的 NECECSSAR

5、Y&SUFFICIENT(NECECSSARY&SUFFICIENT(充分必要条件充分必要条件)中。同样的方法将中。同样的方法将AnimalAnimal 也拖拽也拖拽到充分必要条件中。状态如下图到充分必要条件中。状态如下图步骤步骤 5 5 启动启动 RacerProRacerPro 推理机进行推论。如果没有的朋友请到推理机进行推论。如果没有的朋友请到 RacerProRacerPro 官方下载官方下载。需要注册一下，然。需要注册一下，然后在发给你中，点击就可以下载。安装选默认路径即可，不然还需要设置路径。后在发给你中，点击就可以下载。安装选默认路径即可，不然还需要设置路径。.!.步骤步骤 6

6、6 运用推理机进行推理。选择菜单中运用推理机进行推理。选择菜单中 OWLOWLClassify taxonomy.(Classify taxonomy.(也可以点击标签上方的也可以点击标签上方的 ClassifyClassifytaxonomy.taxonomy.图标图标)的。这时的。这时 protegeprotege 会连接会连接 RacerProRacerPro，然后推理机将做出推理。这时将推理机弹出的信，然后推理机将做出推理。这时将推理机弹出的信息关闭，息关闭，protegeprotege 中间会出现新的类阶层图，这里狮子类已经变为肉食动物的子类。并在信息对话框中间会出现新的类阶层图，这

7、里狮子类已经变为肉食动物的子类。并在信息对话框中的中的 Lion Moved from Animal to CarnivoreLion Moved from Animal to Carnivore。步骤步骤 7 7 确认关系图。在确认关系图。在 OWLVizOWLViz 中中 Asserted ModelAsserted Model 是推理前的关系图，是推理前的关系图，Inferred ModelInferred Model 是推理后的关系是推理后的关系图。可以看到狮子类已经成为肉食动物的子类。图。可以看到狮子类已经成为肉食动物的子类。步骤步骤 8 8 保存项目。保存项目。点击下载该项目。点击下载该项目。.!.