License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05151.6
URN: urn:nbn:de:0030-drops-3115
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2005/311/
Go to the corresponding Portal

Ohlbach, Hans-Jürgen

Computational Treatment of Temporal Notions -- The CTTN-System

pdf-format:
05151.OhlbachHansJuergen.Paper.311.pdf (0.1 MB)

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

BibTeX - Entry

@InProceedings{ohlbach:DagSemProc.05151.6,
  author =	{Ohlbach, Hans-J\"{u}rgen},
  title =	{{Computational Treatment of Temporal Notions – The CTTN-System}},
  booktitle =	{Annotating, Extracting and Reasoning about Time and Events},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5151},
  editor =	{Graham Katz and James Pustejovsky and Frank Schilder},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2005/311},
  URN =		{urn:nbn:de:0030-drops-3115},
  doi =		{10.4230/DagSemProc.05151.6},
  annote =	{Keywords: Formalizing temporal notions}
}

Keywords: Formalizing temporal notions
Collection: 05151 - Annotating, Extracting and Reasoning about Time and Events
Issue Date: 2005
Date of publication: 15.11.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI