Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources

Changes of semantics in data sources further complicate the semantic heterogeneity problem. We identify four types of semantic heterogeneities related to changing semantics and present a solution based on an extension to the Context Interchange (COIN) framework. Changing semantics is represented as multi-valued contextual attributes in a shared ontology; however, only a single value is valid over a certain time interval. A mediator, implemented in abductive constraint logic programming, processes the semantics by solving temporal constraints for single-valued time intervals and automatically applying conversions to resolve semantic differences over these intervals. We also discuss the scalability of the approach and its applicability to the Semantic Web.

[1]  Gillian Dobbie,et al.  On the declarative and procedural semantics of deductive object-oriented systems , 1995, Journal of Intelligent Information Systems.

[2]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[3]  Stéphane Bressan,et al.  Context Interchange: New Features and Formalisms for the Intelligent Integration of Information Context Interchange: New Features and Formalisms for the Intelligent Integration of Information , 1997 .

[4]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Serge Abiteboul,et al.  Methods and rules , 1993, SIGMOD Conference.

[6]  Antonis C. Kakas,et al.  ACLP: Integrating Abduction and Constraint Solving , 2000, ArXiv.

[7]  François Fages,et al.  Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings , 2005, PPSWR.

[8]  Joachim Schimpf,et al.  ECLiPSe: A Platform for Constraint Logic Programming , 1997 .

[9]  Stuart E. Madnick,et al.  The Design and Implementation of a Corporate Householding Knowledge Processor to Improve Data Quality , 2003, J. Manag. Inf. Syst..

[10]  Tarik Alatovic,et al.  Capabilities Aware Planner/Optimizer/Executioner for COntext INterchange Project , 2002 .

[11]  Kian-Lee Tan,et al.  Context Mediation in the Semantic Web: Handling OWL Ontology and Data Disparity Through Context Interchange , 2004, SWDB.

[12]  Antonis C. Kakas,et al.  ACLP: Abductive Constraint Logic Programming , 2000, J. Log. Program..

[13]  Stuart E. Madnick,et al.  Financial Information Integration in the Presence of Equational Ontological Conflicts , 2002 .

[14]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[15]  Stuart E. Madnick,et al.  Representing and reasoning about semantic conflicts in heterogeneous information systems , 1997 .

[16]  Stuart E. Madnick,et al.  MIT Sloan School of Management , 2004 .

[17]  Sajindra Jayasena.  Context Mediation Approach to Improved Interoperability amongst Disparate Financial Information Services by Sajindra , 2004 .

[18]  Steffen Staab,et al.  FONTE: factorizing ONTology engineering complexity , 2003, K-CAP '03.

[19]  Philip W. Lee,et al.  Metadata representation and management for context mediation , 2003 .

[20]  Sushil Jajodia,et al.  Time Granularities in Databases, Data Mining, and Temporal Reasoning , 2000, Springer Berlin Heidelberg.

[21]  Stuart E. Madnick,et al.  Information integration using contextual knowledge and ontology merging , 2003 .

[22]  Christoph Bussler,et al.  Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers , 2005, SWDB.

[23]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[24]  Claudio Bettini,et al.  Web services for time granularity reasoning , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..