owl - Protege owl 可以使用数据属性进行推理吗？

Question

我试图让 Protege 4 中的推理器根据数据属性分数对个人进行分类。

健康状况良好的人的数据属性“走动评分”为 8。我试图找到一个推理机，将这样的人归入一个名为“健康状况”的班级。数据属性“移动分数”是 1 到 10 之间的整数。个体“爱丽丝”的移动分数为 8，这应该等同于“身体健康”，但无论我如何尝试，我都无法让 Protege 4 推断出她进入班级'身体健康'。

Answer 1

首先，Potégé 是编辑，而不是推理者。所以，严格来说，它不能像你说的那样做任何事情。但是，Protégé 可以托管插件，您可以在其中找到推理器。默认情况下，HermiT 推理器预装了 Protégé 4 和 5。其他推理器可插入 Protégé。Protégé 中嵌入的推理器的功能取决于它们支持的 OWL 规范的子集。在 OWL 2 中，有定义明确的子集称为配置文件（OWL 2 DL、OWL 2 EL、OWL 2 QL 和 OWL 2 RL），每个子集对应于对 OWL 结构的部分支持。

OWL 2 DL 可以使用数据类型属性进行推理，包括您所描述的内容。因此，任何符合 OWL-2-DL 的推理器都可以按照您的描述进行。HermiT 是一个 OWL 2 DL 推理器，所以它应该能够做你解释的事情。但是，对于 Protégé 未向您显示预期推论的原因，我可以看到两种解释：

1. 您使用的本体没有正确建模您希望它表达的知识。请向我们展示本体如何，以便我们提供帮助。
2. Protégé 并未展示推理者所做的所有推论。Protégé 只是一个界面。它并没有显示推理者所做的一切。因此，虽然推理者可能确实能够做出推断，但您看不到它，因为 Protégé 并未考虑将其用于展示。这发生在某些推论中，例如未显示的推断域和范围。我不知道您描述的案例是否属于那些未显示的推论。

您还应该知道，您可以参数化 Protégé 应该显示的推理类型。首选项中有一个带有复选框的选项卡，告诉您应该显示哪种推断的事实。