Skip to main content
SpringerLink
Log in

GeTS – A Specification Language for Geo-Temporal Notions

  • Conference paper
KI 2006: Advances in Artificial Intelligence (KI 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4314))

Included in the following conference series:

Abstract

This paper contains a brief overview of the ‘Geo-Temporal’ specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy time intervals and labeled partitionings of the time axis. The partitionings are used to represent periodic temporal notions like months, semesters etc. and also whole calendar systems. GeTS is essentially a typed functional language with a few imperative constructs and many built-ins. GeTS can be used to specify and compute with many different kinds of temporal notions, from simple arithmetic operations on time points up to complex fuzzy relations between fuzzy time intervals. A parser, a compiler and an abstract machine for GeTS is implemented.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Benkert, J.: Integration of the CTTN system in Java. Master’s thesis, Inst. for Computer Science, LMU Munich (2006)

    Google Scholar 

  2. Berners-Lee, T., Fischetti, M., Dertouzos, M.: Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web. Harper, San Francisco (Sept. 1999)

    Google Scholar 

  3. Bettini, C., Sibi, R.D.: Symbolic representation of user-defined time granularities. Annals of Mathematics and Artificial Intelligence 30, 53–92 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  4. Bettini, C., et al.: Temporal Databases, Rreseach and Practice. In: Etzion, O., Jajodia, S., Sripada, S. (eds.) Dagstuhl Seminar 1997. LNCS, vol. 1399, pp. 406–413. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  5. Bettini, C., Jajodia, S., Wang, S.X.: Time Granularities in Databases, Data Mining and Temporal Reasoning. Springer, Heidelberg (2000)

    MATH  Google Scholar 

  6. Bettini, C., Mascetti, S., Wang, X.S.: Mapping calendar expressions into periodical granularities. In: Combi, C., Ligozat, G. (eds.) Proc. of the 11th International Symposium on Temporal Representation and Reasoning, pp. 87–95. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  7. Dershowitz, N., Reingold, E.M.: Calendrical Calculations. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  8. Dubois, D., Prade, H. (eds.): Fundamentals of Fuzzy Sets. Kluwer Academic Publishers, Dordrecht (2000)

    MATH  Google Scholar 

  9. Dyreson, C.E., et al.: Efficiently supporting temporal granularities. IEEE Transactions on Knowledge and Data Engineering 12(4), 568–587 (2000)

    Article  Google Scholar 

  10. Egidi, L., Terenziani, P.: A lattice of classes of user-defined symbolic periodicities. In: Combi, C., Ligozat, G. (eds.) Proc. of the 11th International Symposium on Temporal Representation and Reasoning, pp. 13–20. IEEE Computer Society Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  11. Goralwalla, I.A., et al.: Temporal granularity: Completing the picture. Journal of Intelligent Information Systems 16(1), 41–63 (2001)

    Article  MATH  Google Scholar 

  12. Kline, N., Li, J., Snodgrass, R.: Specifying multiple calendars, calendric systems and field tables and functions in timeadt. Technical Report TR-41, Time Center Report (May 1999)

    Google Scholar 

  13. Leban, B., Mcdonald, D., Foster, D.: A representation for collections of temporal intervals. In: Proc. of the American National Conference on Artificial Intelligence (AAAI), pp. 367–371. Morgan Kaufmann, Los Altos (1986)

    Google Scholar 

  14. Niezette, M., Stevenne, J.: An efficient symbolic representation of periodic time. In: Finin, T.W., Yesha, Y., Nicholas, C. (eds.) CIKM 1992. LNCS, vol. 752, pp. 161–169. Springer, Heidelberg (1993)

    Google Scholar 

  15. Ning, P., Wang, X.S., Jajodia, S.: An algebraic representation of calendars. Annals of Mathematics and Artificial Intelligenc 36(1-2), 5–38 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  16. Ohlbach, H.J.: Computational treatement of temporal notions – the CTTN system. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 137–150. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  17. Ohlbach, H.J.: About real time, calendar systems and temporal notions. In: Barringer, H., Gabbay, D. (eds.) Advances in Temporal Logic, pp. 319–338. Kluwer Academic Publishers, Dordrecht (2000)

    Google Scholar 

  18. Ohlbach, H.J.: Calendar logic. In: Hodkinson, I., Gabbay, D.M., Reynolds, M. (eds.) Temporal Logic: Mathematical Foundations and Computational Aspects, pp. 489–586. Oxford University Press, Oxford (2000)

    Google Scholar 

  19. Ohlbach, H.J.: Relations between fuzzy time intervals. In: Proceedings of 11th International Symposium on Temporal Representation and Reasoning, Tatihoui, Normandie, France, 1-3 July 2004, pp. 44–51. IEEE Computer Society Press, Los Alamitos (2004), See also http://www.pms.ifi.lmu.de/publikationen/#PMS-FB-2004-33

    Chapter  Google Scholar 

  20. Ohlbach, H.J.: Fuzzy time intervals – the FuTI-library. Research Report PMS-FB-2005-26, Inst. für Informatik, LFE PMS, University of Munich (June 2005), http://www.pms.ifi.lmu.de/publikationen/#PMS-FB-2005-26

  21. Ohlbach, H.J.: GeTS – a specification language for geo-temporal notions. Research Report PMS-FB-2005-29, Inst. für Informatik, LFE PMS, University of Munich (June 2005), http://www.pms.ifi.lmu.de/publikationen/#PMS-FB-2005-29

  22. Ohlbach, H.J.: Modelling periodic temporal notions by labelled partitionings – the PartLib library. In: Artemov, S., et al. (eds.) Essays in Honour of Dov Gabbay, vol. 2, pp. 453–498. King’s College Publications, London (2005), See also http://www.pms.ifi.lmu.de/publikationen/#PMS-FB-2005-28

    Google Scholar 

  23. Ohlbach, H.J.: Periodic temporal notions as ‘tree partitionings’. Submitted to PPSWR06 (March 2006)

    Google Scholar 

  24. Ohlbach, H.J.: Relations between fuzzy time intervals. Research Report PMS-FB-2006-26, Inst. für Informatik, LFE PMS, University of Munich (June 2006), http://www.pms.ifi.lmu.de/publikationen#PMS-FB-2006-26

  25. Soo, M.D., Snodgrass, R.T.: Mixed calendar query language support for temporal constants. Technical Report TR 92-07, Dept. of Computer Science, Univ. of Arizona (February 1992)

    Google Scholar 

  26. Spranger, S.: Calendars as Types – Data Modeling, Constraint Reasoning, and Type Checking with Calendars. Dissertation/Ph.D. thesis, Institute of Computer Science, LMU, Munich, PhD Thesis, Institute for Informatics, University of Munich (2005)

    Google Scholar 

  27. Zadeh, L.A.: Fuzzy sets. Information & Control 8, 338–353 (1965)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität München,  

    Hans Jürgen Ohlbach

Authors
  1. Hans Jürgen Ohlbach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christian Freksa Michael Kohlhase Kerstin Schill

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ohlbach, H.J. (2007). GeTS – A Specification Language for Geo-Temporal Notions. In: Freksa, C., Kohlhase, M., Schill, K. (eds) KI 2006: Advances in Artificial Intelligence. KI 2006. Lecture Notes in Computer Science(), vol 4314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69912-5_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69912-5_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69911-8

  • Online ISBN: 978-3-540-69912-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation