Protege使用教程(推理篇)
本篇将接着基础篇,在动物本体中,建立狮子类(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使用教程(进阶篇)
11这篇教程接着基础篇和推理篇,对于基础篇和推理篇解释的步骤这里不在重复解释.不知道的朋友请先看基础篇和推理篇来熟悉基本操作步骤.点击这里参照新手入门基础篇和推理篇 在本篇进阶片教程中主要是介绍个体的 ...
- .Net魔法堂:史上最全的ActiveX开发教程——发布篇
一. 前言 接着上一篇<.Net魔法堂:史上最全的ActiveX开发教程--开发篇>,本篇讲述如何发布我们的ActiveX. 二.废话少讲,马上看步骤! 1. 打包 C#开发的Activ ...
- SpringCloud 教程 | 第二篇: 服务消费者(rest+ribbon)
转载请标明出处: blog.csdn.net/forezp/arti- 本文出自方志朋的博客 在上一篇文章,讲了服务的注册和发现.在服务架构中,业务都会被拆分成一个独立的服务,服务与服务的通讯是基于h ...
- python语言自学教程-3D图示Python标准自学教程入门篇
内容简介: Python入门篇教程从最基础的计算机发展史.Python的来源与发展历史开始讲起: 依次讲解python变量与表达式.数据类型.运算符.流程控制语句等,末尾通过课堂练习.课后作业以及微型 ...
- 【helloworld】-微信小程序开发教程-入门篇【1】
1. 开篇导言 本节目标:旨在演示如何用开发者工具构建并运行简单的 helloworld 应用. 目标用户:无编程经验,但对微信小程序感兴趣的同学. 学习目标:开发者工具的基本使用流程,即创建.导入. ...
- linux usb3.0改2.0,TX1入门教程硬件篇-切换USB2.0与USB3.0
TX1入门教程硬件篇-切换USB2.0与USB3.0 说明: 介绍如何切换TX1USB口的为2.0或3.0版本 步骤: 编辑extlinux.conf文件,修改usb_port_owner_info= ...
- 微信公众号开发入门教程第一篇
微信公众号开发入门教程第一篇 关键字:微信公众平台开发 作者:方倍工作室 在这篇微信公众平台开发教程中,我们假定你已经有了PHP语言程序.MySQL数据库.计算机网络通讯.及HTTP/XML/CSS/ ...
- Fiddler抓包使用教程-扫盲篇
Fiddler抓包使用教程-扫盲篇 转载请标明出处:http://blog.csdn.net/zhaoyanjun6/article/details/72823370 本文出自[赵彦军的博客] 1.什 ...
- spring boot 跨域请求_SpringBoot 系列教程 web 篇之自定义请求匹配条件 RequestCondition...
191222-SpringBoot 系列教程 web 篇之自定义请求匹配条件 RequestCondition 在 spring mvc 中,我们知道用户发起的请求可以通过 url 匹配到我们通过@R ...
- 【iVX 初级工程师培训教程 10篇文拿证】01 了解 iVX 完成新年贺卡
目录 [iVX 初级工程师培训教程 10篇文拿证]01 了解 iVX 完成新年贺卡 [iVX 初级工程师培训教程 10篇文拿证]02 数值绑定及自适应网站制作 [iVX 初级工程师培训教程 10篇文拿 ...
最新文章
- cbow 和skip-gram比较
- 使用webpack2.0 搭建react.js项目
- no python application found_用Nginx部署Django服务no python application found
- matlab 判断文件有多少行,在Matlab中有没有办法确定文件中的行数,而不是循环遍历每一行?...
- 大战设计模式【12】—— 迭代器模式
- 54 FI配置-财务会计-固定资产-主数据-更改评估组的关键词
- oracle备份出现问题,TSM + Oracle备份出现问题
- ACM程序设计基础(1)题解
- WordPress纯代码纯静态开启七牛CDN并集成七牛缩略图和水印功能
- 李开复,活在AI与人群里
- Neo4j学习笔记(三) 导入数据
- sql网上书店项目的实现
- Android中framework层下添加aidl编译说程序包不存在
- iOS开发之录屏时如何使系统录不到敏感信息
- 按键精灵文字识别插件_【买三赠一】iOS按键精灵VIP夏季特惠进行中
- SNS2124SNS2224SNS2248 光纤交换机配置
- 数据库编程基本练习题
- 大数据专业毕业后前景如何?能做什么职位?
- 用递归方式写斐布拉契数列的坏处
- 美股互联网IPO集散地,正在成为过去式