在Protégé关闭世界假设

Question

是否有可能基于Protégé的近距离世界假设（CWA）强制推理OWL本体？显然OWL基于OWA，但我需要关闭它。

Answer 1

要在不改变本体的情况下使用近距离假设，您需要一个支持该功能的推理器。 Pellet可以选择使用封闭世界假设，您必须检查Protégé的设置以确保它是可配置的。

我不知道有其他提供者。

如果你不能使用Pellet，你必须在评论中遵循Joshua的建议：修改本体以用正确的断言来关闭世界。但是，如果没有看到本体论，我们就无法推荐任何事情。