Description logics as polyadic modal logics. - Jonne Iso-Tuisku; Antti Kuusisto (CoRR, 2021)