Abstract
The CTTN–system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN–system are time points, crisp and fuzzy time intervals, labelled partitionings of the time line, durations, and calendar systems. The labelled partitionings are used to model periodic temporal notions, quite regular ones like years, months etc., partially regular ones like timetables, but also very irregular ones like, for example, dates of a conference series. These data structures can be used in the temporal specification language GeTS (GeoTemporal Specifications). GeTS is a functional specification and programming language with a number of built-in constructs for specifying customised temporal notions.
CTTN is implemented as a Web server and as a C++ library. This paper gives a short overview over the current state of the system and its components.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Mylopolous, J., Reiter, R. (eds.) Proc. of IJCAI 1991, pp. 452–457. Morgan Kaufmann, San Francisco (1991)
Bettini, C., Sibi, R.D.: Symbolic representation of user-defined time granularities. Annals of Mathematics and Artificial Intelligence 30, 53–92 (2000)
Bry, F., Rieß, F.-A., Spranger, S.: A Reasoner for Calendric and Temporal Data. Forschungsbericht/research report PMS-FB-2005-18, Institute for Informatics, University of Munich (2005)
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)
Godo, L., Vila, L.: Possibilistic temporal reasoning based on fuzzy temporal constraints. In: Mellish, C.S. (ed.) IJCAI 95: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. IJCAI, vol. 2, pp. 1916–1922 (1995)
Navarette, I., Cardenas, M.A., Marin, R.: Efficient resolution mechanism for fuzzy temporal constraint logic. In: TIME 2000: Proc. of the Seventh International Workshop on Temporal Representation and. Reasoning, pp. 39–46. IEEE Press, Los Alamitos (2000)
Marín, R., Viedma, M.A.C., Balsa, M., Sanchez, J.L.: Obtaining solutions in fuzzy constraint networks. Int. J. Approx. Reasoning 16(3-4), 261–288 (1997)
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), URL: 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), URL: http://www.pms.ifi.lmu.de/publikationen/#PMS-FB-2005-29
Ohlbach, H.J.: Modelling periodic temporal notions by labelled partitionings of the real numbers – the PartLib library. Research Report PMS-FB-2005-28, Inst. für Informatik, LFE PMS, University of Munich (June 2005), URL: http://www.pms.ifi.lmu.de/publikationen/#PMS-FB-2005-28
Ohlbach, H.J.: Relations between fuzzy time intervals. Research Report PMS-FB-2005-27, Inst. für Informatik, LFE PMS, University of Munich (June 2005), URL: http://www.pms.ifi.lmu.de/publikationen/#PMS-FB-2005-27
Schulz, K.U., Weigel, F.: Systematics and architecture for a resource representing knowledge abo ut named entities. In: Maluszynski, J., Bry, F., Henze, N. (eds.) Principles and Practice of Semantic Web Reasoning, pp. 189–208. Springer, Berlin (2003)
Stickel, M.E.: Automated deduction by theory resolution. Journal of Automated Reasoning 1(4), 333–356 (1985)
Vila, L., Godo, L.: On fuzzy temporal constraint networks. Mathware and Soft Computing 3, 315–334 (1994)
Vila, L., Godo, L.: Query-answering in fuzzy temporal constraint networks. In: Mellish, C.S. (ed.) FUZZ-IEEE 1995: IEEE International Conference on Fuzzy Systems Yokohama, vol. 1, pp. 43–48 (1995)
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
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ohlbach, H.J. (2005). Computational Treatment of Temporal Notions: The CTTN–System. In: Fages, F., Soliman, S. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2005. Lecture Notes in Computer Science, vol 3703. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552222_13
Download citation
DOI: https://doi.org/10.1007/11552222_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28793-3
Online ISBN: 978-3-540-32028-9
eBook Packages: Computer ScienceComputer Science (R0)