Semantics in Data and Knowledge Bases: Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

Title Page
Preface
Organization
Table of Contents
Introduction
	Semantics in Data and Knowledge Bases
		Semantics
			Variety of Notions for Semantics
			The Semiotics Background of Semantics and Pragmatism
			Formal Semantics in General
			Semantics of Mathematical Logics as One Kind of Semantics
			Formal Semantics in Computer Science
			The Duality of Syntactic and Semantic Types
			Micro-semantics of Wordings
		Pearls of Database Theory
			Rigid Inductive Structures
			Static Integrity Constraints
			Application of Database Semantics to Semantical Models
			Maturity and Capability of Object-Oriented/Object-RelationalModels
			XML - Couleur De Rose and Pitfalls
		Overuse andMisuse of the Notion of Semantics
			Semantification of Semantic Web
			Separation of Semantics and Behaviour
			Semantics Illustration through Diagrams
		Contributions of SDKB to Data and Knowledge Base Semantics
		References
Invited Papers
	Data Integration through $DL-Lite_{\mathcal A}$ Ontologies
		Introduction
		The Data Integration Framework
			The Global Schema
			The Source Schema
			The Mapping
		Semantics
		Query Answering
			Rewriting
			Filtering
			Unfolding
			Evaluation
			Correctness of Query Answering
		Experimentation
			Scenario
			Testing Query Answering
			Discussion
		Extending the Data Integration Framework
			Extensions to $DL-Lite_{\mathcal A}$
			Different Source Schemas
			Extensions to the Mapping Language
		Conclusions
		References
	The Relational Polynomial-Time Hierarchy and Second-Order Logic
		Introduction
		Preliminaries
			Type of a Tuple
			Background from Relational Complexity
		A Restricted Second-Order Logic
		Relational Machines
			Nondeterministic Relational Machines
			Relational Oracle Machines
			Relational Polynomial-Time Hierarchy
		The Relational Complexity of $\mathrm{SO}^{\omega}$
			$\mathrm{SO}^{\omega}$ Captures the Relational Polynomial-Time Hierarchy
		References
	Qualitative Knowledge Discovery
		Introduction
		Inductive Reasoning with Probabilities and Rankings
		Deriving Qualitative Information from Statistical Data
		Conditional Structures and c-Representations
		Discovering Structural Information
		Learning Default Rules from Data
		Summary and Further Work
		References
	On the Notion of an XML Key
		Introduction
		Prerequisites
			XML Trees and Paths
			Value Equality
			Node Selection Queries
		Keys for XML
			Agreement of Nodes
			Strong Keys Defined in XML Schema
			Absolute and Relative Keys
		Popular Existing Proposals for XML Keys
			Keys Defined by Buneman et al.
			Keys Defined by Arenas et al.
			Keys Defined by Yu and Jagadish
		References
Research Papers
	Embodied Context Semantics
		Introduction
		AI Research in Contexts
			Propositional Logic of Context
			Local Model Semantics/Multi-Context Systems
			Quantificational Logic of Context
		Embodied Context Semantics
			The Cognitive Approach to Context and Meaning
			The Semantics
		Some Illustrative Examples
		Related Work
		Conclusions
		References
	Definition and Formalization of Entity Resolution Functions for Everyday Information Integration
		Introduction
		Formalizing the CHIME Model
		Lemmas and Theorems
		Related Work
		Conclusions and Future Work
		References
	A Theoretical Framework for the Declarative Debugging of Datalog Programs
		Introduction
		Datalog Programs
			Datalog Syntax
			Program Models
			Correct and Incorrect Programs
		Computation Graphs
			Graph Terminology
			Datalog Computation Graphs
			Buggy Vertices and Buggy Circuits
		Soundness and Completeness
		Implementation
		Conclusions and Future Work
		References
	Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
		Introduction
		The Relational Model
		Updates and View Complements
		The Theory of Unique Reflections
		Conclusions and Further Directions
		References
	A Top-Down Approach to Rewriting Conjunctive Queries Using Views
		Introduction
		Preliminaries
		Hyper-Node Model for Conjunctive Queries (HMCQ)
		A Top-Down Approach to Rewriting Using HMCQ
			Generating Partial Mappings
			Partial Mappings and the Impact of OWA
			Rewriting Generation in HMCQ
		TreeWise Rewriting Algorithm
			Mapping Tuple Construction Phase
			Binary Tree Construction Phase
			Rewriting Generation Phase
		Experiments and Preliminary Results
		Conclusions and Future Directions
		References
	Rewriting Conjunctive Queries over Description Logic Knowledge Bases
		Introduction
		Preliminaries
			Description Logic DL-Lite^{+}
			Conjunctive and Datalog Queries
			Resolution with Free Selection
		Answering Conjunctive Queries in DLlite^{+}
		Rewriting Conjunctive Queries in DLlite^{+}
			Elimination of Function Symbols
			Optimizing the Rewriting through Unfolding
		Complexity Analysis
		Conclusion
		References
Author Index