Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

This collection of essays honors the remarkable contributions of Franz Baader to the field of computer science and artificial intelligence, particularly in description logic and its applications. The authors, prominent figures in the field, come together to pay tribute by presenting a diverse range of topics, reflecting the profound influence Baader has had on their work and the broader academic community.

Each essay delves into various aspects of description logic and theory combination, highlighting innovative research and exploring new frontiers. The contributions not only showcase advanced theoretical insights but also practical implications in numerous applications, bridging gaps between abstract concepts and real-world contexts.

Through this compilation, readers gain a deeper appreciation of Baader's impact on the domain, while also engaging with cutting-edge developments that continue to shape the landscape of knowledge representation and reasoning.