Talks and Poster Presentations (with Proceedings-Entry):
M. Arenas, J. Perez, E. Sallinger:
"Towards General Representability in Knowledge Exchange";
Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management,
- 05-23-2013; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management",
CEUR Workshop Proceedings,
In data exchange, one is typically given a source database instance and a mapping
between a source schema and a target schema. The goal then is to materialize a target
database instance that corresponds to the source instance and the mapping. In this setting
source data is explicitly given, that is, every fact that is true in it is explicitly mentioned
in the source database instance.
Knowledge bases typically consist of some explicit knowledge - like in database
instances - and some implicit knowledge, usually given in the form of rules that specify
how to derive knowledge not explicitly stored. Arenas et al. introduced the setting
of knowledge exchange, where one is given a source knowledge base and a mapping
between a source schema and a target schema, and the goal is to materialize a target
knowledge base, that is, both explicit and implicit knowledge.
While the question of what constitutes a "good" solution to a data exchange problem
has been the topic of research in recent years, the question of what constitutes a
"good" solution to a knowledge exchange problem is rather new.
In this paper, we introduce the framework of general representability that allows
us to study notions of representability like safety and Q
-representability. We introduce notions of equivalence suitable for capturing safety,
and define conditions under which these characterizations apply. In particular, we are
able to capture safety as originally defined. We also started introducing the necessary
machinery for studying Q-representability, with a focus on the UCQ and the more general
information integration, data exchange, knowledge exchange, knowledge bases
Electronic version of the publication:
Project Head Reinhard Pichler:
Heterogene Information Integration
Created from the Publication Database of the Vienna University of Technology.