Protege Reasoner 用红色突出显示班级

Question

我在Protege中创建了类和子类，当我应用Reasoner时，一些类的颜色变成了红色。

有人知道为什么吗？

解决我的本体中的问题，以确保它保持一致。

我还尝试在类之间创建一些属性，但它不适用于此突出显示。

Answer 1

我知道这个问题是几周前提出的。但是，为了将来的参考，我想建议一些可以用来解决此类问题的基本方法。

1. 首先检查红色类是否有“多个 继承”，在这种情况下，如果您正在使用 protege，请转到 “实体选项卡 -> 类 -> 选择红色类 -> 描述”。在描述选项卡中检查每个超类 在“SubClass Of”下提到，然后确保这些超级 类没有冲突的属性。
2. 其次，确保您的财产限制不矛盾 与任何相关的类。确保您没有声明任何 相关类为 分离类。

但是，根据上下文，可能还有许多其他原因导致本体中的类无法满足。在这种情况下，您可以要求 Protege 解释不一致的情况。为此，请启动 ‘Reasoner’（假设您使用的是 Pellet Reasoner）。在类层次结构窗口的右上角，您会发现一个小下拉菜单，其中有两个选项：‘Asserted’ 和 ‘Inferred’。选择 ‘Inferred’ 选项，您将注意到 ‘owl:Nothing’ 下列出的所有红色类。选择您需要解释的类别，然后转到 ‘描述’ 选项卡。在本节顶部的‘相当于’下，您将找到‘owl:Nothing’。按前面的问号（右侧）。然后将打开‘解释’窗口。

祝你好运:)