Many-to-Many fact type generates an undefined "UNIQ-{1,2}" class?
I just created a fact type with multiplicity *. The owl exported includes a class UNIQ-{1,2} and used in the axiom PROJ-{1,2} \sqsubseteq UNIQ-{1,2} However, I cannot be any definition for such UNIQ class.
I attach orm and owl files