Abstract
Reasoning on time and location is receiving increasing attention on the Web due to emerging fields like Web adaptation, mobile computing, and the Semantic Web. Web applications in these fields often refer to rather complex temporal, calendric, and location information. Unfortunately, today’s Web languages and formalisms have merely primitive temporal and location data types and temporal and location reasoning capabilities – if any. This article reports on work in progress aiming at integrating temporal and locational reasoning into XML query and transformation operations. We analyze the problem and propose a concrete architecture. A prototype of the temporal reasoner, the WebCal system has already been realized.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W3C http://www.w3.org/TR/xmlschema-0/ , XML Schema Part 0: Primer (2001)
W3C http://www.w3.org/TR/xmlschema-1/ , XML Schema Part 1: Structures (2001)
W3C http://www.w3.org/TR/xmlschema-2/ , XML Schema Part 2: Datatypes (2001)
Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence 17(3), 239–251 (2002)
Berners-Lee, T., Fischetti, M., Dertouzos, M.: Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web. Harper, San Francisco (1999) ISBN: 0062515861
Bry, F., Berger, S., Schaffert, S.: Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data. In: Proceedings of the 29th Intl. Conference on Very Large Databases (VLDB 2003), Germany (2003)
Bry, F., Schaffert, S.: A Gentle Introduction into Xcerpt, a Rulebased Query and Transformation Language for XML. In: International Workshop on Rule Markup Languages for Business Rules on the Semantic Web (invited article), Italy (June 2002), http://www.soi.city.ac.uk/~msch/conf/ruleml
Bry, F., Schaffert, S.: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 295–310. Springer, Heidelberg (2003)
Bry, F., Spranger, S.: Temporal Constructs for a Web Language. In: Proceedings of the 4th Workshop on Interval Temporal Logics and Duration Calculi during ESSLLI 2003, Austria (August 2003)(to appear)
Cohn, A.G., Bennett, B., Gooday, J.M., Gotts, N.: RCC: a calculus for region based qualitative spatial reasoning. GeoInformatica 1, 275–316 (1997)
Doucet, A., Gançarski, S., Jomier, G., Monties, S.: Versions of Integrity Constraints in Multiversion Databases. In: Tjoa, A.M. (ed.) DEXA 1997. LNCS, vol. 1308, pp. 252–261. Springer, Heidelberg (1997)
Gançarski, S.: Database Versions to represent Bitemporal Databases. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, vol. 1677, pp. 832–841. Springer, Heidelberg (1999)
Ohlbach, H.J.: About real time, calendar systems and temporal notions. In: Barringer, H., Gabbay, D. (eds.) Advances in Temporal Logic, pp. 319–338. Kluwer Academic Publishers, Dordrecht (2000)
Ohlbach, H.J.: Calendar logic. In: Hodkinson, I., Gabbay, D.M., Reynolds, M. (eds.) Temporal Logic: Mathematical Foundations and Computational Aspects, pp. 489–586. Oxford University Press, Oxford (2000)
Ohlbach, H.J., Gabbay, D.: Calendar logic. Journal of Applied Non- Classical Logics 8(4) (1998)
Stell, J.G.: Part and complement: Fundamental concepts in spatial relations. In: Proceedings 7th International Syposium on AI and Mathematics, Florida (January 2002) (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bry, F., Lorenz, B., Ohlbach, H.J., Spranger, S. (2003). On Reasoning on Time and Location on the Web. In: Bry, F., Henze, N., Małuszyński, J. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2003. Lecture Notes in Computer Science, vol 2901. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24572-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-24572-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20582-1
Online ISBN: 978-3-540-24572-8
eBook Packages: Springer Book Archive