如何在Protege中保存推理器FaCT ++或HermiT的结果

时间:2014-04-15 09:19:38

标签: semantic-web owl protege fact++

我正在使用Protégé4.3,我想将推理器的结果保存到本体文件中。当我停止推理时,所有结果都消失了。

如何保存结果?

1 个答案:

答案 0 :(得分:2)

在Protégé中,使用文件→导出推断的公理作为本体......

那应该做你想要的。