Franz Baader, and Clément Théron. Role-value maps and general concept inclusions in the minimal description logic with value restrictions or revisiting old skeletons in the DL cupboard. KI - Künstl. Intell., (34)3:291--301, Springer Science and Business Media LLC, September 2020.