Semantics in Data and Knowledge Bases

Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

  • Klaus-Dieter Schewe
  • Bernhard Thalheim
Conference proceedings SDKB 2008
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4925)

Table of contents

  1. Front Matter
  2. Introduction

    1. Klaus-Dieter Schewe, Bernhard Thalheim
      Pages 1-25
  3. Invited Papers

    1. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati et al.
      Pages 26-47
    2. Flavio A. Ferrarotti, José M. Turull Torres
      Pages 48-76
    3. Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer
      Pages 77-102
    4. Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang
      Pages 103-112
  4. Research Papers

    1. Ander Altuna
      Pages 113-125
    2. R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez
      Pages 143-159
    3. Nima Mohajerin, Nematollaah Shiri
      Pages 180-198
    4. Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
      Pages 199-214
  5. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knolwedge Bases, SDKB 2008, held in Nantes, France, on March 29, 2008.

The 6 revised full papers presented together with 4 invited papers and a survey on the state of the art in the field, were carefully reviewed and selected for inclusion in the book. The SDKB workshop presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory and other mathematical theories of semantics for database and knowledge bases, computational linguistics and semiotics, and information and knowledge-based systems.

Keywords

approximation combinatorics conjunctive queries data engineering data management data mining data semantics database applications database design database management database queries distributed information systems first order logics formal methods logic

Editors and affiliations

  • Klaus-Dieter Schewe
    • 1
  • Bernhard Thalheim
    • 2
  1. 1.Information Science Research CentrePalmerston NorthNew Zealand
  2. 2.Institute of Computer Science and Applied MathematicsChristian-Albrechts-University of KielKielGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-88594-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-88593-1
  • Online ISBN 978-3-540-88594-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349