Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming
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.
Unable to display preview. Download preview PDF.
- 2.Bettini, C.: Web services for time granularity reasoning. In: TIME-ICTL 2003 (2003)Google Scholar
- 4.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)Google Scholar
- 5.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)Google Scholar
- 6.Eshgi, K., Kowalski, R.: Abduction Compared with Negation as Failure. In: Proceedings of 6th Intl. Conf. on Logic Programming (1989)Google Scholar
- 7.Firat: Information Integration using Contextual Knowledge and Ontology Merging, PhD Thesis, MIT (2003)Google Scholar
- 8.Firat, A., Madnick, S., Grosof, B.: Financial information integration in the presence of equational ontological conflicts. In: WITS (2002)Google Scholar
- 10.Goh, C.: Representing and Reasoning about Semantic Conflicts in Heterogeneous Infor mation Systems PhD Thesis, MIT(1997)Google Scholar
- 11.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)Google Scholar
- 12.Hobbs, J.R.: A DAML Ontology of Time. In: LREC (2002)Google Scholar
- 13.Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic Programming 2(6), 719–770 (1993)Google Scholar
- 16.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)Google Scholar