问Protege owl reason可以使用数据属性吗？

EN

首先，Potégé是一个编辑，而不是一个推理者。所以，严格地说，它不能像你说的那样做任何事情。然而，Protégé可以托管插件，您可以在其中找到原因。默认情况下，HermiT推理器预装Protégé4和Protégé5。其他reasoner可以在Protégé中插入。Protégé中嵌入的推理程序的功能取决于它们支持的OWL规范的子集。在OWL 2中，有一些定义良好的子集称为profiles (OWL 2DL、OWL 2EL、OWL 2QL和OWL 2RL)，每个子集都对应于对OWL构造的部分支持。

使用OWL2DL可以使用数据类型属性进行推理，包括您所描述的内容。因此，任何符合OWL-2-DL标准的推理器都可以执行您所描述的操作。HermiT是一个OWL2DL推理器，所以它应该能够做你所解释的事情。然而，对于Protégé为什么没有向您展示预期的推断，我可以看到两种解释：

1. 您正在使用的本体没有正确地对您希望它表达的知识进行建模。请告诉我们本体论是怎样的，这样我们就可以提供帮助。
2. Protégéis 所有推理机正在做的推理。Protégé只是一个界面。它不会显示推理机所做的一切。因此，虽然推理机可能确实能够做出推断，但你看不到它，因为Protégé没有考虑将其展示出来。对于某些推断，例如未显示的推断域和范围，会发生这种情况。我不知道你所描述的情况是否是那些不明显的推论的一部分。

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