Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming

  • Hongwei Zhu
  • Stuart E. Madnick
  • Michael D. Siegel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3208)


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.


User Query Temporal Context Conversion Function Semantic Difference Constraint Store 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abiteboul, S., Lausen, G., Uphoff, H., Waller, E.: Methods and Rules. SIGMOD Rec. 22(2), 32–41 (1993)CrossRefGoogle Scholar
  2. 2.
    Bettini, C.: Web services for time granularity reasoning. In: TIME-ICTL 2003 (2003)Google Scholar
  3. 3.
    Bettini, C., Jajodia, S., Wang, X.S.: Time Granularities in Databases, Data Mining, and Temporal Reasoning. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 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. 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. 6.
    Eshgi, K., Kowalski, R.: Abduction Compared with Negation as Failure. In: Proceedings of 6th Intl. Conf. on Logic Programming (1989)Google Scholar
  7. 7.
    Firat: Information Integration using Contextual Knowledge and Ontology Merging, PhD Thesis, MIT (2003)Google Scholar
  8. 8.
    Firat, A., Madnick, S., Grosof, B.: Financial information integration in the presence of equational ontological conflicts. In: WITS (2002)Google Scholar
  9. 9.
    Frühwirth, T.: Theory and Practice of Constraint Handling Rules. Journal of Logic Programming 37, 95–138 (1998)CrossRefGoogle Scholar
  10. 10.
    Goh, C.: Representing and Reasoning about Semantic Conflicts in Heterogeneous Infor mation Systems PhD Thesis, MIT(1997)Google Scholar
  11. 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. 12.
    Hobbs, J.R.: A DAML Ontology of Time. In: LREC (2002)Google Scholar
  13. 13.
    Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic Programming 2(6), 719–770 (1993)Google Scholar
  14. 14.
    Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Integrating Abduction and Constraint Solving. Journal of Logic Programming 44, 129–177 (2000)CrossRefGoogle Scholar
  15. 15.
    Kiffer, M., Laussen, G., Wu, J.: Logic Foundations of Object-Oriented and Frame-based Languages. J. ACM 42(4), 741–843 (1995)CrossRefGoogle Scholar
  16. 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
  17. 17.
    McCarthy, J.: Generality in Artificial Intelligence. CACM 30(12), 1030–1035 (1987)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Hongwei Zhu
    • 1
  • Stuart E. Madnick
    • 1
  • Michael D. Siegel
    • 1
  1. 1.MIT Sloan School of ManagementUSA

Personalised recommendations