Description Logic, Theory Combination, and All That - Lutz (Springer International Publishing, 2019)