可以保护使用数据属性的猫头鹰原因？

Question

我试图让Protege 4中的推理者根据数据属性得分来分类个体。

健康状况良好的人的数据属性“移动分数”为8.我试图让一个推理者将这样一个人放到一个名为“健康状况良好”的类中。数据属性“步行分数”是1到10之间的整数。个体“爱丽丝”的步行分数为8，这应该等同于“良好健康”，但无论我如何尝试，我都无法让Protege 4推断她进入“健康状况”阶层。

Answer 1

首先，Potégé是一位编辑，而不是推理者。所以，严格来说，它不能像你说的那样做任何事情。但是，Protégé可以托管插件，您可以在其中找到reasoners。默认情况下，HermiT推理器预装了Protégé4和5.其他reasoners可以在Protégé中插入。嵌入在Protégé中的reasoners的能力取决于他们支持的OWL规范的哪个子集。在OWL 2中，有几个定义好的子集称为profiles（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é应显示的推理类型。在首选项中有一个选项卡，用于指示应显示哪种推断事实。