Semantics in Data and Knowledge Bases

5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

  • Klaus-Dieter Schewe
  • Bernhard Thalheim
Conference proceedings SDKB 2011

DOI: 10.1007/978-3-642-36008-4

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

Table of contents

  1. Front Matter
  2. Ove Sörensen, Bernhard Thalheim
    Pages 1-17
  3. Björn Kralemann, Claas Lattmann
    Pages 50-69
  4. Angelo Rauseo, Davide Martinenghi, Letizia Tanca
    Pages 99-117
  5. Flavio A. Ferrarotti, Alejandro L. Grosso, José M. Turull-Torres
    Pages 174-197
  6. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2011, held in July 2011 in Zürich, Switzerland. The 8 revised full papers presented were carefully selected from numerous submissions covering topics of formal models for data and knowledge bases, integrity constraints maintenance and dependency theory, formal methods for data and knowledge base design, reasoning about data and knowledge base dynamics, adaptivity for personalised data and knowledge bases view-centered data- and knowledge-intensive systems, information integration in data and knowledge bases, knowledge discovery in data and knowledge bases, validation and verification of data and knowledge base designs, formal linguistics for data and knowledge bases, logical and mathematical foundations of semantics, semantics in data- and knowledge-intensive applications.

Keywords

answer set programming dependencies dependencies modern logic semantics semiotics

Editors and affiliations

  • Klaus-Dieter Schewe
    • 1
  • Bernhard Thalheim
    • 2
  1. 1.Software Competence Center HagenbergHagenbergAustria
  2. 2.Department of Computer ScienceChristian-Albrechts-University KielKielGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-36007-7
  • Online ISBN 978-3-642-36008-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349