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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Benkert, J.: Integration of the CTTN system in Java. Master’s thesis, Inst. for Computer Science, LMU Munich (2006)
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)
Bettini, C., Sibi, R.D.: Symbolic representation of user-defined time granularities. Annals of Mathematics and Artificial Intelligence 30, 53–92 (2000)
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)
Bettini, C., Jajodia, S., Wang, S.X.: Time Granularities in Databases, Data Mining and Temporal Reasoning. Springer, Heidelberg (2000)
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)
Dershowitz, N., Reingold, E.M.: Calendrical Calculations. Cambridge University Press, Cambridge (1997)
Dubois, D., Prade, H. (eds.): Fundamentals of Fuzzy Sets. Kluwer Academic Publishers, Dordrecht (2000)
Dyreson, C.E., et al.: Efficiently supporting temporal granularities. IEEE Transactions on Knowledge and Data Engineering 12(4), 568–587 (2000)
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)
Goralwalla, I.A., et al.: Temporal granularity: Completing the picture. Journal of Intelligent Information Systems 16(1), 41–63 (2001)
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)
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)
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)
Ning, P., Wang, X.S., Jajodia, S.: An algebraic representation of calendars. Annals of Mathematics and Artificial Intelligenc 36(1-2), 5–38 (2002)
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)
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)
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)
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
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
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
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
Ohlbach, H.J.: Periodic temporal notions as ‘tree partitionings’. Submitted to PPSWR06 (March 2006)
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
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)
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)
Zadeh, L.A.: Fuzzy sets. Information & Control 8, 338–353 (1965)
Author information
Authors and Affiliations
Editor information
Rights 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)