为什么 Pellet 推断出具有无限“蕴含”理由的不一致的“Nothing”子类？

Question

我正在使用 Protégé 4.0 和 Pellet 2.2 学习 OWL 2.0，并且我正在尝试逐步理解基本概念。

所以，从类层次结构开始，我将一个类“Cat”作为 SubClassOf “Things”。

如果我启动 Pellet，一切正常，但如果我 DL 查询“Cat”，我的 Directsubclasses“Nothing”和 Subclasses“Nothing”以红色显示。

• 这是什么意思？
• 为什么是红色的？

理由是这样的：

Explanation for: Nothing SubClassOf Cat
<Entailment1252345325436>SubClassOf Nothing and (not (Cat))

• 这是什么意思？
• 为什么会有无穷无尽的“包含”理由（我的意思是我只创建了 1 个类）。
• 是否有我犯的错误我必须纠正以避免这种现象？还是我应该不关心？

谢谢^_^！

Answer 1

Nothing 是空类，有时写为 ⊥在 DL 表示法中。在大多数情况下，如果您有一个 等价 到 Nothing 的类，这就是建模错误。例如，如果你不小心定义了

Car EquivalentClass（正好有 2 个门）
Car EquivalentClass (hasDoors 正好 4)

您会发现 Car 现在等同于 Nothing，因为某物不能正好有 2 扇门和 4 扇门。那是一个意外。它在逻辑上没有什么不正确的，但是通常你不希望你的类必然是空的。因此，Protege 必然会以红色显示空类。

当然，空类，Nothing，是每个类的子类，就像空集是每个集合的子集一样，它必然是空的。

所以，您所看到的实际上并没有错。 Nothing 应该是红色的，并且应该是每个类的子类。一切都在按应有的方式进行。