Abstract
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosaic consists of several layers. At the bottom layer there are a number of basic datatypes for elementary temporal notions. These are time points, crisp and fuzzy time intervals and partitionings for representing periodical temporal notions like years, months, semesters etc. Partitionings can be arranged to form ‘durations’ (e.g. ‘2 semester and 1 month’). Each formalism in the bottom layer comes with its own functions and relations.
The second layer is presented in this paper. It contains a number of basic functions which use time points, intervals, partitionings and durations simultaneously. The functions are introduced and motivated with temporal expressions in natural language.
The third layer, which is not presented in this paper, uses the functions and relations of the lower layers as building blocks in a specification language for specifying complex temporal notions.
The whole mosaic contains a number of other formalisms, in particular a representation of calendar systems, and various databases with information about temporal notions.
This research has been funded by the European Commission and by the Swiss Federal Office for Education and Science within the 6th Framework Programme project REWERSE number 506779 (cf. http://rewerse.net.)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Berners-Lee, T., Fischetti, M., Dertouzos, M.: Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web. Harper, San Francisco (1999)
Bettini, C., Jajodia, S., Wang, S.X.: Time Granularities in Databases, Data Mining and Temporal Reasoning. Springer, Heidelberg (2000)
Bry, F., Lorenz, B., Ohlbach, H.J., Spranger, S.: On reasoning on time and location on the web. In: Henze, N., Bry, F., Malusyǹski, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 69–83. Springer, Heidelberg (2003)
Dershowitz, N., Reingold, E.M. (eds.): Calendrical Calculations. Cambridge University Press, Cambridge (1997)
Dubois, D., Prade, H. (eds.): Fundamentals of Fuzzy Sets. Kluwer Academic Publisher, Dordrecht (2000)
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.: Fuzzy time intervals and relations – the Fu-TIRe library. Technical report, Inst. f. Informatik, LMU München (2004). See http://www.pms.informatik.uni-muenchen.de/mitarbeiter/ohlbach/systems/FuTIRe
Ohlbach, H.J.: Relations between fuzzy time intervals. In: Procceedings of Time 2004 (2004) (to appear)
Ohlbach, H.J.: The role of labelled partitionings for modelling periodic temporal notions (2004), http://www.informatik.uni-muenchen.de/mitarbeiter/ohlbach/homepage/publications/PRP/abstracts.shtml (to be published)
Ohlbach, H.J.: The role of labelled partitionings for modelling periodic temporal notions. In: Procceedings of Time 2004 (2004) (to appear)
Zadeh, L.A.: Fuzzy sets. Information & Control 8, 338–353 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ohlbach, H.J. (2004). Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals. In: Ohlbach, H.J., Schaffert, S. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2004. Lecture Notes in Computer Science, vol 3208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30122-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-30122-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22961-2
Online ISBN: 978-3-540-30122-6
eBook Packages: Springer Book Archive