Skip to main content

Computational Treatment of Temporal Notions: The CTTN–System

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNISA,volume 3703)

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.

Keywords

  • Correction Function
  • Half Open Interval
  • Computational Treatment
  • Fuzzy Interval
  • Functional Programming Language

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/11552222_13
  • Chapter length: 12 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-32028-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

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

    MATH  CrossRef  MathSciNet  Google Scholar 

  3. 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)

    Google Scholar 

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

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    MATH  CrossRef  Google Scholar 

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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)

    CrossRef  Google Scholar 

  14. Stickel, M.E.: Automated deduction by theory resolution. Journal of Automated Reasoning 1(4), 333–356 (1985)

    MATH  CrossRef  MathSciNet  Google Scholar 

  15. Vila, L., Godo, L.: On fuzzy temporal constraint networks. Mathware and Soft Computing 3, 315–334 (1994)

    Google Scholar 

  16. 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)

    Google Scholar 

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

    MATH  CrossRef  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)