Spatio-temporal schema integration with validation: a practical approach

Authors:
A. Sotnykova;N. Cullot;C. Vangenot
Affiliations:
Database Laboratory, École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland;Laboratoire LE2I, Université de Bourgogne, Dijon;Database Laboratory, École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland
Venue:
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Year:
2005

Citing 4
Cited 3

Description logics for conceptual data modeling

Logics for databases and information systems
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Semantic mappings in description logics for spatio-temporal database schema integration

Journal on Data Semantics III

On Temporal Cardinality in the Context of the TOWL Language

ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Towards effective geographic ontology matching

GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Building a global normalized ontology for integrating geographic data sources

Computers & Geosciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data model; the inter-schema mappings are validated against the semantics of the data model and the syntax of the correspondence language. In this paper, we focus on how to employ a reasoning engine to validate spatio-temporal schemas and describe where the reasoning engine is plugged into our integration methodology. The validation phase distinguishes our integration methodology from other approaches. We shift the emphasis on automation from the a priori discovery to the a posteriori checking of the inter-schema mappings. By doing so, we take advantage of the expressive power of the common data model in the source schema description and inter-schema mapping definition.