Protégé的世界假设 [英] Close World Assumption in Protégé

问题描述

是否有可能基于Protégé的近世界假设(CWA)对OWL本体进行推理?显然，OWL基于OWA，但是我需要关闭它.

Is it possible to force reasoning over an OWL ontology basing on a close world assumption (CWA) in Protégé? Obviously OWL bases on OWA, but I need to close it.

推荐答案

要在不更改本体的情况下使用封闭世界假设进行推理，您需要支持该功能的推理机. Pellet可以选择使用封闭世界假设，但是您必须检查Protégé的设置以确保它是可配置的.

To reason using close world assumption without changing your ontology you need a reasoner that supports that feature. Pellet has an option to use closed world assumption, you will have to check Protégé's settings to make sure it is configurable though.

我不知道其他提供此信息的理由.

I'm not aware of other reasoners providing it.

如果不能使用Pellet，则必须在注释中遵循Joshua的建议:修改本体以使用正确的断言关闭世界.但是，我们不建议您在没有看到本体的情况下进行任何操作.

If you cannot use Pellet, you'll have to follow Joshua's suggestion in the comments: modify the ontology to close the world with the right assertions. We can't recommend anything to do that without seeing the ontology, though.

这篇关于Protégé的世界假设的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！