本站首页    管理页面    写新日志    退出


«January 2020»
1234
567891011
12131415161718
19202122232425
262728293031


公告


我的分类(专题)

日志更新

最新评论

留言板

链接

Blog信息
blog名称:彼岸·花
日志总数:39
评论数量:115
留言数量:-16
访问次数:376650
建立时间:2005年8月6日




[一路前行]protege3.1.x基础篇-推理 
文章收藏,  网上资源,  其他

子轩 发表于 2006-11-24 16:11:59

本篇将接着基础篇,在动物本体中,建立狮子类(Lion)和肉食动物类(Carnivore),通过推理得到狮子是肉食动物。通过这个实例来简单了解推理机Racer的用法。 基本操作方法在基础篇中有讲解,以下步骤中的操作不清楚的朋友请先看基础篇。点击这里下载到此处的项目,在protege中点击Open Project打开项目。 步骤1 在Animal中建立狮子类和肉食动物类。定义这两个类在同一级中,即这两个类为兄弟关系,目的是推理后狮子变为肉食动物的子类。 500)this.width=500'> 步骤2 编辑狮子类的属性。这里我们定义狮子只吃素食动物。 500)this.width=500'> 步骤3 编辑肉食动物的属性。这里我们需要建立一个eat的子属性maineat(主要吃的是),因为肉食性动物可以吃植物,所以我们无法单纯的靠eat来推理出Lion是不是肉食性动物。这里我们定义肉食性动物maineat的值域是所有的动物。如下图 500)this.width=500'> 500)this.width=500'> 步骤4 将肉食动物的maineat属性变为充分必要条件。因为在现在的逻辑模型中我们的标准是开放世界假说,也就是说在没有成功证明某个陈述之前,我们将这个陈述定义为未知的事实而不是假的。因为我们没有明确指出肉食动物不能主要吃植物,所以肉食动物主要吃植物这个陈述是未知的,而不是假的。这样就给我们的推理造成了影响,所以我们需要明确指出肉食动物主要吃动物。也就是充分必要条件。做法是双击NECESSARY(必要条件)500)this.width=500'>中的500)this.width=500'> 将其拖拽到上方的NECECSSARY & SUFFICIENT(充分必要条件)中。同样的方法将Animal也拖拽到充分必要条件中。状态如下图 500)this.width=500'> 步骤5 启动RacerPro推理机进行推论。如果没有的朋友请到RacerPro官方网站下载。需要注册一下,然后在发给你邮件中,点击链接就可以下载。安装选默认路径即可,不然还需要设置路径。 500)this.width=500'> 步骤6 运用推理机进行推理。选择菜单中OWL–>Classify taxonomy..(也可以点击标签上方的Classify taxonomy..图标)的。这时protege会连接RacerPro,然后推理机将做出推理。这时将推理机弹出的信息关闭,protege中间会出现新的类阶层图,这里狮子类已经变为肉食动物的子类。并在信息对话框中的Lion Moved from Animal to Carnivore。 500)this.width=500'> 500)this.width=500'> 步骤7 确认关系图。在OWLViz中Asserted Model是推理前的关系图,Inferred Model是推理后的关系图。可以看到狮子类已经成为肉食动物的子类。 500)this.width=500'> 500)this.width=500'> 步骤8 保存项目。点击下载该项目。 500)this.width=500'>


阅读全文(9413) | 回复(6) | 编辑 | 精华
 


回复:protege3.1.x基础篇-推理
文章收藏,  网上资源,  其他

tian(游客)发表评论于2007-7-16 6:58:00

图4解决啦。谢谢


个人主页 | 引用回复 | 主人回复 | 返回 | 编辑 | 删除
 


回复:protege3.1.x基础篇-推理
文章收藏,  网上资源,  其他

tian(游客)发表评论于2007-7-16 6:18:29

能否把步骤4的图给我发一份。谢谢 tianf1238@sina.com

个人主页 | 引用回复 | 主人回复 | 返回 | 编辑 | 删除
 


回复:protege3.1.x基础篇-推理
文章收藏,  网上资源,  其他

一只小小鱼(游客)发表评论于2007-3-26 17:56:58

不知道怎么称呼,仁兄,我下不下来racer,给我发一份好吗?很感谢啊! 我的信箱:cy_031026@163.com

个人主页 | 引用回复 | 主人回复 | 返回 | 编辑 | 删除
 


回复:protege3.1.x基础篇-推理
文章收藏,  网上资源,  其他

子轩发表评论于2007-1-7 10:25:44

Racer我也没有成功下载,文章是从别处转的

个人主页 | 引用回复 | 主人回复 | 返回 | 编辑 | 删除
 


回复:protege3.1.x基础篇-推理
文章收藏,  网上资源,  其他

点凝烟(游客)发表评论于2006-12-31 14:14:53

也给我发一份,谢谢了。lyzhong@126.com 祝新年快乐!

个人主页 | 引用回复 | 主人回复 | 返回 | 编辑 | 删除
 


回复:protege3.1.x基础篇-推理
文章收藏,  网上资源,  其他

摇曳.树(游客)发表评论于2006-12-29 18:29:53

我下不下来racer,注册老不能通过,您能不能发给我啊.我的QQ是515087831,信箱是qian__jin@163.com 不胜感激啊!!!

个人主页 | 引用回复 | 主人回复 | 返回 | 编辑 | 删除
 


» 1 »

发表评论:
昵称:
密码:
主页:
标题:
验证码:  (不区分大小写,请仔细填写,输错需重写评论内容!)



站点首页 | 联系我们 | 博客注册 | 博客登陆

Sponsored By W3CHINA
W3CHINA Blog 0.8 Processed in 0.031 second(s), page refreshed 144348652 times.
《全国人大常委会关于维护互联网安全的决定》  《计算机信息网络国际联网安全保护管理办法》
苏ICP备05006046号