Description logic, theory combination, and all that essays dedicated to Franz Baader on the occasion of his 60th birthday - Lutz, Carsten 1971-; Sattler, Ulrike 1966-; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank (Springer, 2019)