OWL 限制：重复变量

Question

我读了这段文字：

“在 OWL 中，禁止在类公理中重复出现变量（例如，不能公理化所有给自己刮胡子的理发师的类）”。

有人可以指出一个参考资料来了解 OWL 的这一限制吗？

我会链接到有关 OWL 限制的参考资料。谢谢。

Answer 1

这是 OWL 第一个版本中的一个问题。 OWL 1 基于描述逻辑 SHOIN。 OWL 2 基于包含自引用的描述逻辑 SROIQ。请参阅论文更难以抗拒的 SROIQ。

即，您可以声明

Barber ⊑ ∃shaves.Self

在推理环境中，基于创建模型的推理算法将确保个体不会被重复使用。请参阅我对这个问题的回答。