How save the result of reasoner HermiT in Protege

怎么保存Protege 5.x中HermiT推理机reasoner的推理结果？

我们在使用Protégé5.5，我想将推理器的结果保存到本体文件中。当我停止推理时，所有结果都消失了。如何保存结果？

1现象

当我们使用推理机推理后，protege推理出来的结果会用黄色标出。

但是当我们想要保存推理后的结果时候，点击file中的save project或者save as project，再打开该项目发现，还是原来的结构，并不是推理机推理后的结构数据。

并且点击stop reasoner之后，推理的结果也消失了。

2 解决办法

点击 File → Export inferred axioms as ontology…

选择所有选项：

然后选一个 你想保存的本体文件地址。

保存的文件没有后缀。所以我们把保存的文件的后缀 改为.owl 即可。

参考大神：https://*.com/questions/23079459/how-save-the-result-of-reasoner-fact-or-hermit-in-protege