Semantics in Data and Knowledge Bases

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.

Inhalt
Semantics in Data and Knowledge Bases.- Invited Papers.- Data Integration through Ontologies.- The Relational Polynomial-Time Hierarchy and Second-Order Logic.- Qualitative Knowledge Discovery.- On the Notion of an XML Key.- Research Papers.- Embodied Context Semantics.- Definition and Formalization of Entity Resolution Functions for Everyday Information Integration.- A Theoretical Framework for the Declarative Debugging of Datalog Programs.- Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context.- A Top-Down Approach to Rewriting Conjunctive Queries Using Views.- Rewriting Conjunctive Queries over Description Logic Knowledge Bases.