Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration

The interoperability problem arises in heterogeneous systems where different data sources coexist and there is a need for meaningful information sharing. One of the most representive realms of diversity of data representation is the spatio-temporal domain. Spatio-temporal data are most often described according to multiple and greatly diverse perceptions or viewpoints, using different terms and with heterogeneous levels of detail. Reconciling this heterogeneity to build a fully integrated database is known to be a complex and currently unresolved problem, and few formal approaches exist for the integration of spatio-temporal databases. The paper discusses the interoperation issue in the context of conceptual schema integration. Our proposal relies on two well-known formalisms: conceptual models and description logics. The MADS conceptual model with its multiple representation capabilities allows to fully describe semantics of the initial and integrated spatio-temporal schemas. Description logics are used to express the set of inter-schema mappings. Inference mechanisms of description logics allow us to check the compatibility of the semantic mappings and to propose different structural solutions for the integrated schema.

[1]  Pedro M. Domingos,et al.  Representing and reasoning about mappings between domain models , 2002, AAAI/IAAI.

[2]  D. Bernardi.  Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .

[3]  Stefano Spaccapietra,et al.  On Spatial Database Integration , 1998, Int. J. Geogr. Inf. Sci..

[4]  Stefano Spaccapietra,et al.  Conceptual Modeling — ER 2002 , 2002, Lecture Notes in Computer Science.

[5]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[6]  York Sure-Vetter,et al.  Ontology Mapping - An Integrated Approach , 2004, ESWS.

[7]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[8]  Carsten Lutz,et al.  NEXP TIME-complete description logics with concrete domains , 2004, TOCL.

[9]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[10]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[11]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[12]  Bernhard Nebel,et al.  Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity , 2002, ECAI.

[13]  Frederico T. Fonseca,et al.  Using Ontologies for Integrated Geographic Information Systems , 2002, Trans. GIS.

[14]  Giuseppe De Giacomo,et al.  Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .

[15]  Steffen Staab,et al.  Handbook on Ontologies in Information Systems , 2003 .

[16]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[17]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[18]  Pedro M. Domingos,et al.  Ontology Matching: A Machine Learning Approach , 2004, Handbook on Ontologies.

[19]  Diego Calvanese,et al.  Information integration: conceptual modeling and reasoning support , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[20]  Stefano Spaccapietra,et al.  Semantic Integration in MADS Conceptual Model , 2002 .

[21]  Jennifer Widom,et al.  Integrating and Accessing Heterogeneous Information Sources in TSIMMIS , 1994 .

[22]  Alon Y. Halevy,et al.  Piazza: data management infrastructure for semantic web applications , 2003, WWW '03.

[23]  Carsten Lutz,et al.  Description Logics with Concrete Domains-A Survey , 2002, Advances in Modal Logic.

[24]  Michael Wessel,et al.  On Spatial Reasoning with Description Logics - Position Paper , 2002, Description Logics.

[25]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[26]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[27]  Diego Calvanese,et al.  A Framework for Ontology Integration , 2001, The Emerging Semantic Web.

[28]  Heiner Stuckenschmidt,et al.  Ontology-Based Integration of Information - A Survey of Existing Approaches , 2001, OIS@IJCAI.

[29]  Pedro M. Domingos,et al.  Learning to map between ontologies on the semantic web , 2002, WWW '02.

[30]  Maurizio Lenzerini,et al.  Representing and Using Interschema Knowledge in Cooperative Information Systems , 1993, Int. J. Cooperative Inf. Syst..

[31]  Ramez Elmasri,et al.  Entity-Relationship Approach — ER '93 , 1993, Lecture Notes in Computer Science.

[32]  Frederico T. Fonseca,et al.  Bridging Ontologies and Conceptual Schemas in Geographic Information Integration , 2003, GeoInformatica.

[33]  Pedro M. Domingos,et al.  iMAP: discovering complex semantic matches between database schemas , 2004, SIGMOD '04.

[34]  Volker Haarslev,et al.  A Description Logic with Concrete Domains and a Role-forming Predicate Operator , 1999, J. Log. Comput..

[35]  Yann Dupont.  Resolving Fragmentation Conflicts in Schema Integration , 1994, ER.

[36]  Bhavani Thuraisingham,et al.  Heterogeneous Information Exchange and Organizational Hubs , 2002, Springer Netherlands.

[37]  Farshad Hakimpour,et al.  Global Schema Generation Using Formal Ontologies , 2002, ER.

[38]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.