Abstract
The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the Context Interchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles se-mantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abiteboul, S., Lausen, G., Uphoff, H., Waller, E.: Methods and Rules. SIGMOD Rec. 22(2), 32–41 (1993)
Bettini, C.: Web services for time granularity reasoning. In: TIME-ICTL 2003 (2003)
Bettini, C., Jajodia, S., Wang, X.S.: Time Granularities in Databases, Data Mining, and Temporal Reasoning. Springer, Heidelberg (2000)
Bressan, S., Goh, C.H., Lee, T., Madnick, S., Siegel, M.: A Procedure for Mediation of Queries to Sources in Disparate Context. In: ILPS 1997 (1997)
Choucri, N., Madnick, S., Moulton, A., Siegel, M., Zhu, H.: Information Integration for Counter Terrorism Activities: The Requirement for Context Mediation1. In: IEEE Aerospace Conference (2004)
Eshgi, K., Kowalski, R.: Abduction Compared with Negation as Failure. In: Proceedings of 6th Intl. Conf. on Logic Programming (1989)
Firat: Information Integration using Contextual Knowledge and Ontology Merging, PhD Thesis, MIT (2003)
Firat, A., Madnick, S., Grosof, B.: Financial information integration in the presence of equational ontological conflicts. In: WITS (2002)
Frühwirth, T.: Theory and Practice of Constraint Handling Rules. Journal of Logic Programming 37, 95–138 (1998)
Goh, C.: Representing and Reasoning about Semantic Conflicts in Heterogeneous Infor mation Systems PhD Thesis, MIT(1997)
Goh, C., Bressan, S., Madnick, S., Siegel, M.: Context Interchange: New Features and Formalisms for the Intelligent Integration of Information. In: ACM TOIS, vol. 17, pp. 270–293 (1999)
Hobbs, J.R.: A DAML Ontology of Time. In: LREC (2002)
Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic Programming 2(6), 719–770 (1993)
Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Integrating Abduction and Constraint Solving. Journal of Logic Programming 44, 129–177 (2000)
Kiffer, M., Laussen, G., Wu, J.: Logic Foundations of Object-Oriented and Frame-based Languages. J. ACM 42(4), 741–843 (1995)
Madnick, S., Wang, R., Xian, X.: The Design and Implementation of a Corporate Householding Knowledge Processor to Improve Data Quality. JMIS 20(3), 41–69 (2004)
McCarthy, J.: Generality in Artificial Intelligence. CACM 30(12), 1030–1035 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhu, H., Madnick, S.E., Siegel, M.D. (2004). Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming. In: Ohlbach, H.J., Schaffert, S. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2004. Lecture Notes in Computer Science, vol 3208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30122-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-30122-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22961-2
Online ISBN: 978-3-540-30122-6
eBook Packages: Springer Book Archive