Description Logic, Theory Combination, and All That

Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

  • Carsten Lutz
  • Uli Sattler
  • Cesare Tinelli
  • Anni-Yasmin Turhan
  • Frank Wolter

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11560)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11560)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
    Pages 1-14
  3. Peter Baumgartner, Uwe Waldmann
    Pages 15-56
  4. Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli
    Pages 57-89
  5. Gerhard Brewka, Markus Ulbricht
    Pages 135-146
  6. Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
    Pages 147-173
  7. Pedro Cabalar, Torsten Schaub
    Pages 174-186
  8. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Pages 187-211
  9. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
    Pages 212-239
  10. Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß
    Pages 240-265
  11. Katrin M. Dannert, Erich Grädel
    Pages 266-285
  12. Enrico Franconi, Volha Kerhet
    Pages 301-328
  13. Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev
    Pages 329-351
  14. Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
    Pages 352-366
  15. Steffen Hölldobler
    Pages 367-384
  16. Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann
    Pages 385-403
  17. Stephanie McIntyre, David Toman, Grant Weddell
    Pages 404-430
  18. Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
    Pages 441-474
  19. Rafael Peñaloza
    Pages 475-496
  20. Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran
    Pages 497-522
  21. Christophe Ringeissen
    Pages 523-541
  22. Manfred Schmidt-Schauß
    Pages 562-572
  23. David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
    Pages 573-587
  24. Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky
    Pages 610-638
  25. Özgür Lütfü Özçep, Ralf Möller
    Pages 639-660
  26. Back Matter
    Pages 661-662

About this book


This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including  description logics,  term rewriting, and the combination of decision procedures.  We  hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.


artificial intelligence combination of theories complexity theory databases description logic formal languages formal logic knowledge representation knowledge-based system ontologies problem solving programming languages query languages semantic web semantics software engineering theorem proving unification World Wide Web

Editors and affiliations

  • Carsten Lutz
    • 1
  • Uli Sattler
    • 2
  • Cesare Tinelli
    • 3
  • Anni-Yasmin Turhan
    • 4
  • Frank Wolter
    • 5
  1. 1.University of BremenBremenGermany
  2. 2.University of ManchesterManchesterUK
  3. 3.University of IowaIowa CityUSA
  4. 4.TU DresdenDresdenGermany
  5. 5.University of LiverpoolLiverpoolUK

Bibliographic information