SpringerLink
Log in

Qualitative Temporal Reasoning

  • Living reference work entry
  • First Online:
Encyclopedia of Database Systems

  • 65 Accesses

Synonyms

Nonmetric temporal reasoning; Reasoning with qualitative temporal constraints

Definition

Qualitative temporal constraints are nonmetric temporal constraints stating the relative temporal position of facts that happen in time (e.g., fact F1 is before or during fact F2). Different types of qualitative constraints can be defined, depending on whether facts are instantaneous, durative, or repeated. Qualitative temporal reasoning is the process of reasoning with such temporal constraints. Given a set of qualitative temporal constraints, qualitative temporal reasoning can be used for different purposes, including checking their consistency, determining the strictest constraints between pairs of facts (e.g., for query-answering purposes), and pointing out a consistent scenario (i.e., a possible instantiation of all the facts on the timeline in such a way that all temporal constraints are satisfied).

Historical Background

In several domains and/or application areas, temporal...

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Recommended Reading

  1. Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983;26(11):832–43.

    Article  MATH  Google Scholar 

  2. Badaloni S, Giacomin M. The algebra IA fuz: a framework for qualitative fuzzy temporal reasoning. Artif Intell. 2006;170(10):872–908.

    Article  MATH  Google Scholar 

  3. Brusoni V, Console L, Pernici B, Terenziani P. Qualitative and quantitative temporal constraints and relational databases: theory, architecture, and applications. IEEE Trans Knowl Data Eng. 1999;11(6):948–68.

    Article  Google Scholar 

  4. Delgrande J, Gupta A, Van Allen T. A comparison of point-based approaches to qualitative temporal reasoning. Artif Intell. 2001;131(1–2):135–70.

    Article  MATH  Google Scholar 

  5. Freksa C. Temporal reasoning based on semi-intervals. Artif Intell. 1992;54(1–2):199–227.

    Article  Google Scholar 

  6. Gerevini A. Incremental qualitative temporal reasoning: algorithms for the point algebra and the ORD-Horn class. Artif Intell. 2005;166(1–2):37–80.

    Article  MATH  Google Scholar 

  7. Jonsson P, Backstrom C. A unifying approach to temporal constraint reasoning. Artif Intell. 1998;102:143–55.

    Article  MATH  Google Scholar 

  8. Koubarakis M. Database models for infinite and indefinite temporal information. Inf Syst. 1994;19(2):141–73.

    Article  Google Scholar 

  9. Ladkin P. Time representation: a taxonomy of interval relations. In Proceeding of 5th National Conference on AI; 1986. p. 360–6.

    Google Scholar 

  10. Ligozat G. Qualitative spatial and temporal reasoning. Wiley; 2013. 539p. ISSBN:978-1-84821-252-7.

    Google Scholar 

  11. Nebel B, Burkert HJ. Reasoning about temporal relations: a maximal tractable subclass of Allen’s interval algebra. J ACM. 1995;42(1):43–66.

    Article  MATH  Google Scholar 

  12. Prior AN. Past, present and future. Oxford: Oxford University Press; 1967.

    Book  MATH  Google Scholar 

  13. Terenziani P. Integrating calendar-dates and qualitative temporal constraints in the treatment of periodic events. IEEE Trans Knowl Data Eng. 1997;9(5):763–83.

    Article  Google Scholar 

  14. Van Beek P. Reasoning about qualitative temporal information. Artif Intell. 1992;58(1–3):297–326.

    Article  MATH  Google Scholar 

  15. Vilain M, Kautz H. Constraint propagation algorithms for temporal reasoning. In Proc. 5th National Conf. on AI; 1986, p. 377–382.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze e Innovazione Tecnologica (DiSIT), Universitá del Piemonte Orientale, Alessandria, Italy

    Paolo Terenziani

Authors
  1. Paolo Terenziani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Paolo Terenziani .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, Georgia, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, Ontario, Canada

    M. Tamer Özsu

Section Editor information

  1. University of Arizona, Tucson, AZ, USA

    Richard T. Snodgrass

  2. Aalborg University, Selma Lagerlöfs Vej 300, DK-9220, Aalborg Øst, Denmark

    Christian S. Jensen Ph.D.

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media LLC

About this entry

Cite this entry

Terenziani, P. (2016). Qualitative Temporal Reasoning. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_287-2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-7993-3_287-2

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, New York, NY

  • Online ISBN: 978-1-4899-7993-3

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation