In der ersten Logik sind bestimmte Rollen als transitiv gekennzeichnet was in FOL darstellbar ist (), in der zweiten gibt es den oben genannten Operator, der nicht in FOL darstellbar ist, da das Minimalitätskriterium für die transitive Hülle nicht ausgedrückt werden kann (wenn ich mich recht erinnere).