Franz Baader, und Filippo De Bortoli. On the expressive power of description logics with cardinality constraints on finite and infinite sets. Frontiers of Combining Systems, 203--219, Springer International Publishing, Cham, 2019.