Protege 导出推理不适用于规则

Question

我在 Protégé 5 中注意到，SWRL 规则获得的所有推论 无法使用"将推断公理导出为本体"工具(启用所有选项(导出。例如，考虑以下本体：

`https://pastebin.com/ZCMgxzRs` .

推理"a instaceOf B"不会导出，从这里的结果中可以看出：

`https://pastebin.com/AaABJQt4` .

有没有办法导出这种类型的推论？

Answer 1

全新安装该工具后问题似乎消失了。