Reasoning about Temporal Context Using Ontology and Abductive Constraint Logic Programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3208, Issue , 2004, Pages 90-101

  Zhu, Hongwei ^a   Madnick, Stuart E ^a   Siegel, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; RECONFIGURABLE HARDWARE; SEMANTIC WEB;

AUTONOMOUS DATA SOURCES; CONSTRAINT LOGIC PROGRAMMING; CONTEXT INTERCHANGE FRAMEWORKS; F-LOGIC; MULTI-VALUED; SEMANTIC DIFFERENCE; SEMANTIC HETEROGENEITY; TEMPORAL RELATION;

LOGIC PROGRAMMING;

EID: 35048848939     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30122-6_7     Document Type: Article

References (17)

1. S. Abiteboul, G. Lausen, H. Uphoff, E. Waller, "Methods and Rules", SIGMOD Rec., 22(2), pp. 32-41, 1993.
2. C. Bettini, "Web services for time granularity reasoning," TIME-ICTL'03, 2003.
3. C. Bettini, S. Jajodia, and X. S. Wang, Time Granularities in Databases, Data Mining, and Temporal Reasoning: Springer, 2000.
4. S. Bressan, C.H. Goh, T. Lee, S. Madnick, M. Siegel, "A Procedure for Mediation of Queries to Sources in Disparate Context", ILPS'97, 1997.
5. N. Choucri, S. Madnick, A., Moulton, M. Siegel, H. Zhu, "Information Integration for Counter Terrorism Activities: The Requirement for Context Mediationl", IEEE Aerospace Conference, 2004.
6. th Intl Conf. on Logic Programming, 1989.
7. Firat, "Information Integration using Contextual Knowledge and Ontology Merging," PhD Thesis, MIT, 2003.
8. A. Firat and S. Madnick and B. Grosof, "Financial information integration in the presence of equational ontological conflicts", WITS, 2002.
9. T. Fruhwirth, "Theory and Practice of Constraint Handling Rules," Journal of Logic Programming, 37, pp. 95-138, 1998.
10. C.Goh, "Representing and Reasoning about Semantic Conflicts in Heterogeneous Information Systems", PhD Thesis, MIT, 1997
11. C. Goh, S. Bressan, S. Madnick, and M. Siegel, "Context Interchange: New Features and Formalisms for the Intelligent Integration of Information," ACM TOIS, vol. 17, pp. 270-293, 1999.
12. J. R. Hobbs, "A DAML Ontology of Time," LREC, 2002.
13. A.C. Kakas, R.A. Kowalski, F. Toni, "Abductive Logic Programming", Journal of Logic Programming, 2(6), pp. 719-770, 1993.
14. A.C. Kakas, A. Michael, and C. Mourlas, "ACLP: Integrating Abduction and Constraint Solving," Journal of Logic Programming, 44, pp. 129-177, 2000.
15. M. Kiffer, G. Laussen, J. Wu, "Logic Foundations of Object-Oriented and Frame-based Languages", J. ACM, 42(4), pp. 741-843, 1995.
16. S. Madnick, R. Wang, X. Xian, "The Design and Implementation of a Corporate Householding Knowledge Processor to Improve Data Quality", JMIS, 20(3), pp. 41-69, 2004.
17. J. McCarthy, "Generality in Artificial Intelligence", CACM, 30(12), pp. 1030-1035, 1987.