logic - 为什么 n 元关系使逻辑语言不可判定？

Question

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

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