我通过将关系表示为具有 n 对象属性的类，在 owl 本体中定义了 n 元关系，即给定 3 元关系 r，我有 3 个 r 对象属性。
有人可以建议我如何确保 n 元关系确实是唯一的，给定 2 个 3 元关系 (a1,b1,c1) 和 (a2,b2,c2) 那么 a1 不等于 a2 并且 b1 不等于b2 和 c1 不等于 c2（这在这里很重要，例如，如果 c1 不等于 c2，那么无论 a1、b1、a2、b2 是什么，关系肯定会不同）。对于这种情况，我无法使用反函数属性，因为这将一一检查实体，但我这里需要的是一个断言所有属性都是唯一的公理。
任何帮助将不胜感激！ 谢谢。
我尝试使用一些公理，例如反函数，但没有成功。
不知道 OWL 2 慷慨地提供了一个关键结构。 https://www.w3.org/TR/owl2-primer/ 第 6.3 节。
这已被利用并解决了我的问题。