如何在Protege中保存推理机FaCT ++或HermiT的结果 [英] How save the result of reasoner FaCT++ or HermiT in Protege
本文介绍了如何在Protege中保存推理机FaCT ++或HermiT的结果的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
我正在使用Protégé4.3 ，并且要将推理器的结果保存到本体文件中.当我停止推理机时，所有结果都消失了.
I'm using Protégé 4.3 and I want to save the results of the reasoner to the ontology file. When I stopped the reasoner, all results disappeared.
如何保存结果?
推荐答案
在Protégé中，使用 File→将推断出的公理导出为本体…
In Protégé, use File → Export inferred axioms as ontology…
这应该可以满足您的需求.
That should do what you're looking for.
这篇关于如何在Protege中保存推理机FaCT ++或HermiT的结果的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
查看全文
