Learning Permutation-Invariant Embeddings for Description Logic Concepts