Skip to main content
SpringerLink
Log in
Book cover

Description Logic, Theory Combination, and All That

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

  • Book
  • © 2019

Overview

Editors:
  1. Carsten Lutz

    1. University of Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Uli Sattler

    1. University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Cesare Tinelli

    1. University of Iowa, Iowa City, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Anni-Yasmin Turhan

    1. TU Dresden, Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Frank Wolter

    1. University of Liverpool, Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Written by experts
  • High-quality selected papers
  • State-of-the-art research

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction

    • Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
    Pages 1-14

  3. Hierarchic Superposition Revisited

    • Peter Baumgartner, Uwe Waldmann
    Pages 15-56

  4. Theory Combination: Beyond Equality Sharing

    • Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli
    Pages 57-89

  5. Initial Steps Towards a Family of Regular-Like Plan Description Logics

    • Alexander Borgida
    Pages 90-109

  6. Reasoning with Justifiable Exceptions in \(\mathcal{E}\mathcal{L}_\bot \) Contextualized Knowledge Repositories

    • Loris Bozzato, Thomas Eiter, Luciano Serafini
    Pages 110-134

  7. Strong Explanations for Nonmonotonic Reasoning

    • Gerhard Brewka, Markus Ulbricht
    Pages 135-146

  8. A KLM Perspective on Defeasible Reasoning for Description Logics

    • Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
    Pages 147-173

  9. Temporal Logic Programs with Temporal Description Logic Axioms

    • Pedro Cabalar, Torsten Schaub
    Pages 174-186

  10. The What-To-Ask Problem for Ontology-Based Peers

    • Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Pages 187-211

  11. From Model Completeness to Verification of Data Aware Processes

    • Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
    Pages 212-239

  12. Situation Calculus Meets Description Logics

    • Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß
    Pages 240-265

  13. Provenance Analysis: A Perspective for Description Logics?

    • Katrin M. Dannert, Erich Grädel
    Pages 266-285

  14. Extending \(\mathscr {E\!L}^{++}\) with Linear Constraints on the Probability of Axioms

    • Marcelo Finger
    Pages 286-300

  15. Effective Query Answering with Ontologies and DBoxes

    • Enrico Franconi, Volha Kerhet
    Pages 301-328

  16. Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna

    • Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev
    Pages 329-351

  17. Perceptual Context in Cognitive Hierarchies

    • Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
    Pages 352-366

  18. Do Humans Reason with \(\mathcal{E}\)-Matchers?

    • Steffen Hölldobler
    Pages 367-384

  19. Pseudo-contractions as Gentle Repairs

    • Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann
    Pages 385-403

  20. FunDL

    • Stephanie McIntyre, David Toman, Grant Weddell
    Pages 404-430
Back to top

Keywords

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.

Editors and Affiliations

  • University of Bremen, Bremen, Germany

    Carsten Lutz

  • University of Manchester, Manchester, UK

    Uli Sattler

  • University of Iowa, Iowa City, USA

    Cesare Tinelli

  • TU Dresden, Dresden, Germany

    Anni-Yasmin Turhan

  • University of Liverpool, Liverpool, UK

    Frank Wolter

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation