Hans Jürgen Ohlbach:
Computational Treatment of Temporal Notions - The CTTN-System.
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 specication
language GeTS (GeoTemporal Specications). GeTS is a functional speci
cation 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.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-59
@inproceedings{REWERSE-RP-2005-59, author = {Hans J\"urgen Ohlbach}, title = {Computational Treatment of Temporal Notions - The CTTN-System}, booktitle = {Proceedings of Third Workshop on Principles and Practice of Semantic Web Reasoning, Dagstuhl, Germany (11th--16th September 2005)}, year = {2005}, volume = {3703}, organization = {REWERSE}, series = {LNCS}, pages = {133--144}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-59} }