Protégé 中的封闭世界假设
Close World Assumption in Protégé
是否可以在 Protégé 中基于封闭世界假设 (CWA) 强制对 OWL ontology 进行推理？显然OWL基于OWA，但我需要关闭它
要在不改变您的 ontology 的情况下使用封闭世界假设进行推理，您需要一个支持该功能的推理器。 Pellet 有一个使用封闭世界假设的选项，你必须检查 Protégé 的设置以确保它是可配置的。
我不知道有其他推理者提供它。
如果您不能使用 Pellet，则必须遵循 Joshua 在评论中的建议：修改 ontology 以使用正确的断言关闭世界。不过，我们不能建议在没有看到 ontology 的情况下执行此操作。
是否可以在 Protégé 中基于封闭世界假设 (CWA) 强制对 OWL ontology 进行推理？显然OWL基于OWA，但我需要关闭它
要在不改变您的 ontology 的情况下使用封闭世界假设进行推理，您需要一个支持该功能的推理器。 Pellet 有一个使用封闭世界假设的选项，你必须检查 Protégé 的设置以确保它是可配置的。
我不知道有其他推理者提供它。
如果您不能使用 Pellet，则必须遵循 Joshua 在评论中的建议：修改 ontology 以使用正确的断言关闭世界。不过，我们不能建议在没有看到 ontology 的情况下执行此操作。