Protege导出推断不适用于规则

Question

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

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

从这里的结果中可以看出，没有导出推断“ a instaceOf B”：

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

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

Answer 1

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