protege和推理机学习笔记.docVIP

在protege中使用RacerPro推理机的几个问题： Racerpro版本安装问题 Racerpro官网下载地址： / 本人在官网找了很久，只找到RacerPro的解压版，没找到安装版的；网上说2.x版的RacerPro只能在protege4.x中使用。而我使用的是protege3.x的教程，因此我安装的RacerPro是1.9版的，下载地址： /f/座机电话号码.html 总之如果你使用的是protege3.x的教程，建议使用1.9版的RacerPro。 关于推理机结果的保存 当我们学习Protege新手入门 推理篇 这个文档时，后面有个保存推理机结果的步骤，教程上讲的很简单，就是说保存项目，而就是这个步骤搞得我很蛋疼，保存了很久都没保存成功。下面就是我做的一些操作。 当我们使用推理机推理后，protege界面效果如下： 可以看到，右边Inferred Hierarchy中的结构已经改变，那我们就行保存这个结果。这个时候我们发现，右上角有个保存按钮，点击，弹出对话框： 这个对话框保存文件类型一看就不对，所以那个保存按钮很坑爹，根本不是保存结果数据的。 那我们有尝试直接点击 或者file中的save project或者save as project，再打开该项目发现，还是原来的结构，并不是推理机推理后的结构数据。 上面都是我做的一些2b尝试，如果你也这样做了，那也证明你也。。。呵呵 正确保存方法： 选择右边结构中的lion，你会发现右上角出现一个assert select change按钮，单击这个按钮 左边的结构就变了，然后保存即可。当然你可以另存为，如果你想留着原来的项目。 希望这些学习笔记对你有用！！！