2026-08-17T14:29:18Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:311 2024-03-06T11:06:18Z ddc:004 open_access

Computational Treatment of Temporal Notions – The CTTN-System Ohlbach, Hans-Jürgen Formalizing temporal notions 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 customized 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hans-Jürgen Ohlbach 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05151.6 urn:nbn:de:0030-drops-3115 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.6 eng https://creativecommons.org/licenses/by/4.0/legalcode