{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:04:30Z","timestamp":1775819070455,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540756651","type":"print"},{"value":"9783540756668","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75666-8_3","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T05:23:17Z","timestamp":1195104197000},"page":"39-58","source":"Crossref","is-referenced-by-count":37,"title":["Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox"],"prefix":"10.1007","author":[{"given":"Jan Oliver","family":"Wallgr\u00fcn","sequence":"first","affiliation":[]},{"given":"Lutz","family":"Frommberger","sequence":"additional","affiliation":[]},{"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Dylla","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Freksa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"3_CR1","first-page":"1","volume":"46","author":"A.G. Cohn","year":"2001","unstructured":"Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae\u00a046(1-2), 1\u201329 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM, 832\u2013843 (1983)","DOI":"10.1145\/182.358434"},{"key":"3_CR3","first-page":"165","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR 1992)","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Nebel, B., Rich, C., Swartout, W. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR 1992), pp. 165\u2013176. Morgan Kaufmann, San Francisco (1992)"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/3-540-51295-0_148","volume-title":"3rd International Conference on Foundations of Data Organization and Algorithms","author":"M.J. Egenhofer","year":"1989","unstructured":"Egenhofer, M.J.: A formal definition of binary topological relationships. In: 3rd International Conference on Foundations of Data Organization and Algorithms, pp. 457\u2013472. Springer, Heidelberg (1989)"},{"issue":"1-2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","unstructured":"Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Artificial Intelligence\u00a0108(1-2), 69\u2013123 (1999)","journal-title":"Artificial Intelligence"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-55966-3_10","volume-title":"Theories and methods of spatio-temporal reasoning in geographic space","author":"C. Freksa","year":"1992","unstructured":"Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Frank, A.U., Campari, I., Formentini, U. (eds.) Theories and methods of spatio-temporal reasoning in geographic space, pp. 162\u2013178. Springer, Heidelberg (1992)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Frank, A.: Qualitative spatial reasoning about cardinal directions. In: Proceedings of the American Congress on Surveying and Mapping ACSM-ASPRS, Baltimore, Maryland, USA, pp. 148\u2013167 (1991)","DOI":"10.1007\/978-3-642-46752-3_17"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1006\/jvlc.1997.9999","volume":"9","author":"G. Ligozat","year":"1998","unstructured":"Ligozat, G.: Reasoning about cardinal directions. Journal of Visual Languages and Computing\u00a09, 23\u201344 (1998)","journal-title":"Journal of Visual Languages and Computing"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-57207-4_5","volume-title":"Spatial Information Theory","author":"G. Ligozat","year":"1993","unstructured":"Ligozat, G.: Qualitative triangulation for spatial reasoning. In: Campari, I., Frank, A.U. (eds.) COSIT 1993. LNCS, vol.\u00a0716, pp. 54\u201368. Springer, Heidelberg (1993)"},{"key":"3_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/3-540-45004-1_22","volume-title":"Spatial Cognition III","author":"R. Moratz","year":"2003","unstructured":"Moratz, R., Nebel, B., Freksa, C.: Qualitative spatial reasoning about relative position: The tradeoff between strong formal properties and successful reasoning about route graphs. In: Freksa, C., Brauer, W., Habel, C., Wender, K.F. (eds.) Spatial Cognition III. LNCS (LNAI), vol.\u00a02685, pp. 385\u2013400. Springer, Heidelberg (2003)"},{"key":"3_CR11","unstructured":"Moratz, R., Dylla, F., Frommberger, L.: A relative orientation algebra with adjustable granularity. In: Proceedings of the Workshop on Agents in Real-Time and Dynamic Environments (IJCAI 2005) (2005)"},{"key":"3_CR12","unstructured":"Renz, J., Mitra, D.: Qualitative direction calculi with arbitrary granularity. [34]"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-60392-1_22","volume-title":"Spatial Information Theory","author":"C. Schlieder","year":"1995","unstructured":"Schlieder, C.: Reasoning about ordering. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol.\u00a0988, pp. 341\u2013349. Springer, Heidelberg (1995)"},{"key":"3_CR14","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence (ECAI)","author":"R. Moratz","year":"2000","unstructured":"Moratz, R., Renz, J., Wolter, D.: Qualitative spatial reasoning about line segments. In: Horn, W. (ed.) Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), IOS Press, Berlin, Germany (2000)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Dylla, F., Moratz, R.: Exploiting qualitative spatial neighborhoods in the situation calculus. [35], pp. 304\u2013322","DOI":"10.1007\/978-3-540-32255-9_18"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-24741-8_19","volume-title":"Advances in Database Technology - EDBT 2004","author":"R. Billen","year":"2004","unstructured":"Billen, R., Clementini, E.: A model for ternary projective relations between regions. In: Bertino, E., Christodoulakis, S., Plexousakis, D., Christophides, V., Koubarakis, M., B\u00f6hm, K., Ferrari, E. (eds.) EDBT 2004. LNCS, vol.\u00a02992, pp. 310\u2013328. Springer, Heidelberg (2004)"},{"key":"3_CR17","first-page":"867","volume-title":"Proceedings of the 11th International Workshop on Database and Expert System Applications, Greenwich","author":"R.K. Goyal","year":"2000","unstructured":"Goyal, R.K., Egenhofer, M.J.: Consistent queries over cardinal directions across different levels of detail. In: Tjoa, A.M., Wagner, R., Al-Zobaidie, A. (eds.) Proceedings of the 11th International Workshop on Database and Expert System Applications, Greenwich, pp. 867\u2013880. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"3_CR18","unstructured":"Sharma, J.: Integrated Spatial Reasoning in Geographic Information Systems: Combining Topology and Direction. PhD thesis, University of Maine (1996)"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00193-5","volume":"137","author":"A. Gerevini","year":"2002","unstructured":"Gerevini, A., Renz, J.: Combining topological and size information for spatial reasoning. Artificial Intelligence\u00a0137, 1\u201342 (2002)","journal-title":"Artificial Intelligence"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Condotta, J.F., Ligozat, G., Saade, M.: A generic toolkit for n-ary qualitative temporal and spatial calculi. In: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), Budapest, Hungary (2006)","DOI":"10.1109\/TIME.2006.2"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11556114_13","volume-title":"Spatial Information Theory","author":"S. W\u00f6lfl","year":"2005","unstructured":"W\u00f6lfl, S., Mossakowski, T.: CASL specifications of qualitative calculi. In: Cohn, A.G., Mark, D.M. (eds.) COSIT 2005. LNCS, vol.\u00a03693, Springer, Heidelberg (2005)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3540634932_17","volume-title":"KI 1997: Advances in Artificial Intelligence","author":"R. R\u00f6hrig","year":"1997","unstructured":"R\u00f6hrig, R.: Representation and processing of qualitative orientation knowledge. In: Brewka, G., Habel, C., Nebel, B. (eds.) KI 1997: Advances in Artificial Intelligence. LNCS, vol.\u00a01303, pp. 219\u2013230. Springer, Heidelberg (1997)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF00117601","volume":"6","author":"K. Zimmermann","year":"1996","unstructured":"Zimmermann, K., Freksa, C.: Qualitative spatial reasoning using orientation, distance, and path knowledge. Applied Intelligence\u00a06, 49\u201358 (1996)","journal-title":"Applied Intelligence"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Spatial Information Theory. Foundations of Geographic Information Science","author":"A. Scivos","year":"2001","unstructured":"Scivos, A., Nebel, B.: Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation. In: Montello, D.R. (ed.) COSIT 2001. LNCS, vol.\u00a02205, Springer, Heidelberg (2001)"},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0004-3702(92)90106-8","volume":"57","author":"P. Ladkin","year":"1992","unstructured":"Ladkin, P., Reinefeld, A.: Effective solution of qualitative constraint problems. Artificial Intelligence\u00a057, 105\u2013124 (1992)","journal-title":"Artificial Intelligence"},{"issue":"1-3","key":"3_CR26","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P. Beek van","year":"1992","unstructured":"van Beek, P.: Reasoning about qualitative temporal information. Artificial Intelligence\u00a058(1-3), 297\u2013321 (1992)","journal-title":"Artificial Intelligence"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/11564751_40","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"J. Renz","year":"2005","unstructured":"Renz, J., Ligozat, G.: Weak composition for qualitative spatial and temporal reasoning. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 534\u2013548. Springer, Heidelberg (2005)"},{"key":"3_CR28","unstructured":"Ligozat, G., Renz, J.: What is a qualitative calculus? A general framework [34]"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Scivos, A., Nebel, B.: The finest of its class: The practical natural point-based ternary calculus $\\mathcal{LR}$ for qualitative spatial reasoning [35], pp. 283\u2013303","DOI":"10.1007\/978-3-540-32255-9_17"},{"key":"3_CR30","unstructured":"Wallgr\u00fcn, J.O., Frommberger, L., Dylla, F., Wolter, D.: SparQ user manual v0.6. Technical Report 007-07\/2006, SFB\/TR 8 Spatial Cognition; Universit\u00e4t Bremen (2006)"},{"key":"3_CR31","unstructured":"Dylla, F., Moratz, R.: Empirical complexity issues of practical qualitative spatial reasoning about relative position. In: Workshop on Spatial and Temporal Reasoning at ECAI 2004, Valencia, Spain (2004)"},{"key":"3_CR32","unstructured":"R\u00f6hrig, R.: Repr\u00e4sentation und Verarbeitung von qualitativem Orientierungswissen. PhD thesis, University of Hamburg (1998)"},{"issue":"54","key":"3_CR33","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"1","author":"C. Freksa","year":"1992","unstructured":"Freksa, C.: Temporal reasoning based on semi-intervals. Artificial Intelligence\u00a01(54), 199\u2013227 (1992)","journal-title":"Artificial Intelligence"},{"key":"3_CR34","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"PRICAI 2004: Trends in Artificial Intelligence","year":"2004","unstructured":"Zhang, C., Guesgen, H.W., Yeap, W.-K. (eds.): PRICAI 2004. LNCS (LNAI), vol.\u00a03157. Springer, Heidelberg (2004)"},{"key":"3_CR35","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Spatial Cognition IV","year":"2005","unstructured":"Freksa, C., Knauff, M., Krieg-Br\u00fcckner, B., Nebel, B., Barkowsky, T. (eds.): Spatial Cognition IV. LNCS (LNAI), vol.\u00a03343. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Spatial Cognition V Reasoning, Action, Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75666-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T12:59:27Z","timestamp":1556974767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75666-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540756651","9783540756668"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75666-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}