Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

14 Pages Posted: 17 Aug 2004  

Hongwei (Harry) Zhu

University of Massachusetts Lowell; Massachusetts Institute of Technology (MIT); Old Dominion University

Stuart Madnick

Massachusetts Institute of Technology (MIT) - Sloan School of Management

Michael Siegel

Massachusetts Institute of Technology (MIT) - Sloan School of Management

Date Written: August 2004

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 semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Keywords: Context Interchange (COIN) framework, temporal context, Semantic Web

Suggested Citation

Zhu, Hongwei (Harry) and Madnick, Stuart and Siegel, Michael, Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming (August 2004). MIT Sloan Working Paper No. 4498-04; CISL Working Paper No. 2004-15. Available at SSRN: https://ssrn.com/abstract=577261 or http://dx.doi.org/10.2139/ssrn.577261

Hongwei Zhu (Contact Author)

Old Dominion University ( email )

Norfolk, VA 23529
United States
757-683-5175 (Phone)

HOME PAGE: http://www.odu.edu/~hzhu

University of Massachusetts Lowell ( email )

One University Avenue
Lowell, MA 01854
United States

Massachusetts Institute of Technology (MIT) ( email )

Cambridge, MA 02139
United States

HOME PAGE: http://web.mit.edu/~mrzhu

Stuart E. Madnick

Massachusetts Institute of Technology (MIT) - Sloan School of Management ( email )

E53-321
Cambridge, MA 02142
United States
617-253-6671 (Phone)
617-253-3321 (Fax)

Michael Siegel

Massachusetts Institute of Technology (MIT) - Sloan School of Management ( email )

E53-323
Cambridge, MA 02142
United States
617-253-2937 (Phone)
617-258-7579 (Fax)

Paper statistics

Downloads
80
Rank
247,002
Abstract Views
1,675