protege和推理机学习笔记

在protege中使用RacerPro推理机的几个问题：

1.Racerpro版本安装问题

Racerpro官网下载地址：

/

本人在官网找了很久，只找到RacerPro的解压版，没找到安装版的；网上说2.x版的RacerPro只能在protege4.x中使用。而我使用的是protege3.x的教程，因此我安装的RacerPro 是1.9版的，下载地址：

/f/37242347.html

总之如果你使用的是protege3.x的教程，建议使用1.9版的RacerPro。

2.关于推理机结果的保存

当我们学习Protege新手入门(推理篇)这个文档时，后面有个保存推理机结果的步骤，教程上讲的很简单，就是说保存项目，而就是这个步骤搞得我很蛋疼，保存了很久都没保存成功。下面就是我做的一些操作。

当我们使用推理机推理后，protege界面效果如下：

可以看到，右边Inferred Hierarchy中的结构已经改变，那我们就行保存这个结果。这个时候我们发现，右上角有个保存按钮，点击，弹出对话框：

这个对话框保存文件类型一看就不对，所以那个保存按钮很坑爹，根本不是保存结果数据的。

那我们有尝试直接点击

或者file中的save project或者save as project，再打开该项目发现，还是原来的结构，并不是推理机推理后的结构数据。

上面都是我做的一些2b尝试，如果你也这样做了，那也证明你也。。。呵呵

正确保存方法：

选择右边结构中的lion，你会发现右上角出现一个assert select change按钮，单击这个按钮

左边的结构就变了，然后保存即可。当然你可以另存为，如果你想留着原来的项目。

希望这些学习笔记对你有用！！！