Protege新手入门推理篇.docx
- 文档编号:2166117
- 上传时间:2022-10-27
- 格式:DOCX
- 页数:11
- 大小:668.91KB
Protege新手入门推理篇.docx
《Protege新手入门推理篇.docx》由会员分享,可在线阅读,更多相关《Protege新手入门推理篇.docx(11页珍藏版)》请在冰豆网上搜索。
Protege新手入门推理篇
本篇将接着基础篇,在动物本体中,建立狮子类(Lion)和肉食动物类(Carnivore),通过推理得到狮子是肉食动物。
通过这个实例来简单了解推理机Racer的用法。
基本操作方法在基础篇中有讲解,以下步骤中的操作不清楚的朋友请先看基础篇。
点击这里下载到此处的项目,在protege中点击OpenProject打开项目。
步骤1在Animal中建立狮子类和肉食动物类。
定义这两个类在同一级中,即这两个类为兄弟关系,目的是推理后狮子变为肉食动物的子类。
步骤2编辑狮子类的属性。
这里我们定义狮子只吃素食动物。
步骤3编辑肉食动物的属性。
这里我们需要建立一个eat的子属性maineat(主要吃的是),因为肉食性动物可以吃植物,所以我们无法单纯的靠eat来推理出Lion是不是肉食性动物。
这里我们定义肉食性动物maineat的值域是所有的动物。
如下图
步骤4将肉食动物的maineat属性变为充分必要条件。
因为在现在的逻辑模型中我们的标准是开放世界假说,也就是说在没有成功证明某个述之前,我们将这个述定义为未知的事实而不是假的。
因为我们没有明确指出肉食动物不能主要吃植物,所以肉食动物主要吃植物这个述是未知的,而不是假的。
这样就给我们的推理造成了影响,所以我们需要明确指出肉食动物主要吃动物。
也就是充分必要条件。
做法是双击NECESSARY(必要条件)中的将其拖拽到上方的NECECSSARY&SUFFICIENT(充分必要条件)中。
同样的方法将Animal也拖拽到充分必要条件中。
状态如下图
步骤5启动RacerPro推理机进行推论。
如果没有的朋友请到RacerPro官方下载。
需要注册一下,然后在发给你中,点击就可以下载。
安装选默认路径即可,不然还需要设置路径。
步骤6运用推理机进行推理。
选择菜单中OWL–>Classifytaxonomy..(也可以点击标签上方的Classifytaxonomy..图标)的。
这时protege会连接RacerPro,然后推理机将做出推理。
这时将推理机弹出的信息关闭,protege中间会出现新的类阶层图,这里狮子类已经变为肉食动物的子类。
并在信息对话框中的LionMovedfromAnimaltoCarnivore。
步骤7确认关系图。
在OWLViz中AssertedModel是推理前的关系图,InferredModel是推理后的关系图。
可以看到狮子类已经成为肉食动物的子类。
步骤8保存项目。
点击下载该项目。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- Protege 新手入门 推理