Protege使用教程(推理篇)
来源:互联网 发布:人工智能创业大赛 编辑:程序博客网 时间:2024/05/20 09:23
本篇将接着基础篇,在动物本体中,建立狮子类(Lion)和肉食动物类(Carnivore),通过推理得到狮子是肉食动物。通过这个实例来简单了解推理机Racer的用法。
基本操作方法在基础篇中有讲解,以下步骤中的操作不清楚的朋友请先看基础篇。点击这里下载到此处的项目,在protege中点击Open Project打开项目。
步骤1 在Animal中建立狮子类和肉食动物类。定义这两个类在同一级中,即这两个类为兄弟关系,目的是推理后狮子变为肉食动物的子类。 000000000000000000
步骤2 编辑狮子类的属性。这里我们定义狮子只吃素食动物。
步骤3 编辑肉食动物的属性。这里我们需要建立一个eat的子属性maineat(主要吃的是),因为肉食性动物可以吃植物,所以我们无法单纯的靠eat来推理出Lion是不是肉食性动物。如下图
步骤4 将肉食动物的maineat属性变为充分必要条件。因为在现在的逻辑模型中我们的标准是开放世界假说,也就是说在没有成功证明某个陈述之前,我们将这个陈述定义为未知的事实而不是假的。因为我们没有明确指出肉食动物不能主要吃植物,所以肉食动物主要吃植物这个陈述是未知的,而不是假的。这样就给我们的推理造成了影响,所以我们需要明确指出肉食动物主要吃动物。也就是充分必要条件。做法是双击NECESSARY(必要条件)中的 将其拖拽到上方的NECECSSARY & SUFFICIENT(充分必要条件)中。同样的方法将Animal也拖拽到充分必要条件中。状态如下图
步骤5 启动RacerPro推理机进行推论。如果没有的朋友请到RacerPro官方网站下载。需要注册一下,然后在发给你邮件中,点击链接就可以下载。安装选默认路径即可,不然还需要设置路径。
步骤6 运用推理机进行推理。3.5版本在reasoning菜单中 选择菜单中OWL–>Classify taxonomy..(也可以点击标签上方的Classify taxonomy..图标)的。这时protege会连接RacerPro,然后推理机将做出推理。这时将推理机弹出的信息关闭,protege中间会出现新的类阶层图,这里狮子类已经变为肉食动物的子类。并在信息对话框中的Lion Moved from Animal to Carnivore。
步骤7 确认关系图。在OWLViz中Asserted Model是推理前的关系图,Inferred Model是推理后的关系图。可以看到狮子类已经成为肉食动物的子类。
步骤8 保存项目。点击下载该项目。
- Protege使用教程(推理篇)
- Protege使用教程(基础篇)
- Protege使用教程(进阶篇)
- protege中使用推理机
- Protege使用教程
- Protege使用快速入门
- Protege新手入门(基础篇)
- protege
- 本体构建 使用protege建owl
- Protege的搭建和使用基础
- protege api使用过程中遇到的问题
- 暗字(推理)
- 笔仙 (惊悚,推理)
- hdu4932(推理+贪心)
- 侦探推理 (NOIP2003)
- 推理
- Protege-OWL API中文版(自己翻译的)
- protege 学习
- 12cR2: ORA-28040: No Matching Authentication Protocol (Doc ID 1957995.1)
- 【转载】while(~scanf("%d", &n))的~的含义
- 旅行家的预算
- 视频帧相对亮度的数值表达
- Java笔记---部署 JavaWeb 项目到云服务器
- Protege使用教程(推理篇)
- 12.14笔记
- android——顶部导航栏滑动变换背景色
- 二叉树前序,中序,后序遍历详解
- js判断浏览器的内核和是否支持某些CSS3属性
- 关于hadoop中GroupingComparator的作用
- Easyui如何修改时间微调器的两个微调按钮的宽度
- sql2012启动时报错的解决:cannot find one or more cpmponents
- SQL 日期 提前 30分钟 日期格式化