为什么n元关系使逻辑语言难以确定？

Question

通常，知识表示语言（如描述逻辑，OWL等）仅提供二进制关系，以保持可判定性。但是我并不理解为什么提供三元关系会使语言变得不确定。

我想要一些参考资料来解释这一点。我找不到关于该主题的任何有趣参考。