如何在Protege中保存推理机FaCT ++或HermiT的结果
[英]How save the result of reasoner FaCT++ or HermiT in Protege
问题描述
我正在使用Protégé4.3，并且要将推理器的结果保存到本体文件中。 当我停止推理机时，所有结果都消失了。
如何保存结果？
1 个解决方案
解决方案1
2 已采纳 2014-04-16 06:26:06
在Protégé中，使用文件→导出推断的公理作为本体…
那应该做您想要的。
如果推理程序一致并且发生了更改，OWL API将保存本体
[英]OWL API save ontology if reasoner is consistent and changes occurred
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.