REWERSE-RP-2005-49

François Bry, Bernhard Lorenz, Stephanie Spranger:
Calendars and Topologies as Types - A Programming Language Approach to Modelling Mobile Applications.


Complete Text [
.ps.gz, 524KB / .pdf, 159 KB]
In: Proceedings of 9th International Conference on Knowledge-Based & Intelligent Information & Engineering System (KES'2005), Melbourne, Australia (14th - 16th September 2005), LNCS 3208, 2005
© Springer

Abstract
This article introduces a programming language approach to modelling spatio-temporal data using calendars and topologies specified as types. Calendric and topologic data appearing in Web applications are most often rather complex, sometimes involving different calendars and/or topologies. The basic principle is to model spatio-temporal data by means of predicate subtyping. This principle is used to define calendric and topologic data types representing granularities as well as conversions between those data types. A thesis underlying this work is that calendars and topologies are more conveniently expressed with dedicated language constructs and that calendar and topology data are more effciently processed with dedicated reasoning methods than with general purpose "axiomatic reasoning" of e.g. ontology languages or theorem provers.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-49

BibTeX:

@inproceedings{REWERSE-RP-2005-49,
	author = {Fran\c{c}ois Bry and Bernhard Lorenz and Stephanie Spranger},
	title = {Calendars and Topologies as Types - A Programming Language Approach to Modelling Mobile Applications},
	booktitle = {Proceedings of 9th International Conference on Knowledge-Based & Intelligent Information & Engineering System, Melbourne, Australia (14th--16th September 2005)},
	year = {2005},
	volume = {3208},
	series = {LNCS},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-49}
}

Imprint      Privacy Disclaimer