Principles and Practice of Semantic Web Reasoning

Volume 3208 of the series Lecture Notes in Computer Science pp 90-101

Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming

  • Hongwei ZhuAffiliated withMIT Sloan School of Management
  • , Stuart E. MadnickAffiliated withMIT Sloan School of Management
  • , Michael D. SiegelAffiliated withMIT Sloan School of Management

* Final gross prices may vary according to local VAT.

Get Access


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.