Description Logic, Theory Combination, and All That - Lutz; Sattler, Uli; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank (Springer International Publishing, 2019)