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 efficiently processed with dedicated reasoning methods than with general purpose “axiomatic reasoning” of e.g. ontology languages or theorem provers.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)
Bry, F., Rieß, F.A., Spranger, S.: A Type Language for Calendars (2005) (submitted to publication)
Bry, F., Rieß, F.A., Spranger, S.: A Reasoner for Calendric and Temporal Data (2005) (submitted to publication)
Bry, F., Rieß, F.A., Spranger, S.: CaTTS: Calendar Types and Constraints for Web Applications. In: Proc. 14th Int. World Wide Web Conference, Japan (2005)
Dershowitz, N., Reingold, E.: Calendrical Calculations: The Millennium Edition. Cambridge University Press, Cambridge (2001)
Bry, F., Spranger, S.: Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 102–117. Springer, Heidelberg (2004)
Bry, F., Haußer, J., Rieß, F.A., Spranger, S.: Cultural Calendars for Programming and Querying. In: Proc. 1st Forum on the Promotion of European and Japanese Culture and Traditions in Cyber Society and Virtual Reality, France (2005)
Randell, D.A., Cui, Z., Cohn, A.: A Spatial Logic Based on Regions and Connection. In: Proc. 3rd Int. Conf. Principles of Knowledge Representation and Reasoning, USA, pp. 165–176 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bry, F., Lorenz, B., Spranger, S. (2005). Calendars and Topologies as Types. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3684. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11554028_49
Download citation
DOI: https://doi.org/10.1007/11554028_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28897-8
Online ISBN: 978-3-540-31997-9
eBook Packages: Computer ScienceComputer Science (R0)