{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:48:09Z","timestamp":1764557289931,"version":"3.37.3"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319017891"},{"type":"electronic","value":"9783319017907"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-01790-7_28","type":"book-chapter","created":{"date-parts":[[2013,8,19]],"date-time":"2013-08-19T20:57:20Z","timestamp":1376945840000},"page":"516-536","source":"Crossref","is-referenced-by-count":16,"title":["Algebraic Properties of Qualitative Spatio-temporal Calculi"],"prefix":"10.1007","author":[{"given":"Frank","family":"Dylla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"28_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"issue":"5","key":"28_CR2","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1093\/logcom\/12.5.885","volume":"12","author":"P. Balbiani","year":"2002","unstructured":"Balbiani, P., Condotta, J., Fari\u00f1as del Cerro, L.: Tractability results in the block algebra. J. Log. Comput.\u00a012(5), 885\u2013909 (2002)","journal-title":"J. Log. Comput."},{"issue":"2","key":"28_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.jal.2005.06.002","volume":"4","author":"P. Balbiani","year":"2006","unstructured":"Balbiani, P., Condotta, J., Ligozat, G.: On the consistency problem for the INDU calculus. J. Applied Logic\u00a04(2), 119\u2013140 (2006)","journal-title":"J. Applied Logic"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Cohn, A., Renz, J.: Qualitative spatial representation and reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch.\u00a013, pp. 551\u2013596. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03013-1"},{"key":"28_CR5","unstructured":"Dechter, R.: Constraint processing. Elsevier Morgan Kaufmann (2003)"},{"issue":"4","key":"28_CR6","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10462-004-5899-8","volume":"23","author":"I. D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I.: Relation algebras and their application in temporal and spatial reasoning. Artif. Intell. Rev.\u00a023(4), 315\u2013357 (2005)","journal-title":"Artif. Intell. Rev."},{"key":"28_CR7","unstructured":"Dylla, F., Lee, J.H.: A combined calculus on orientation with composition based on geometric properties. In: ECAI 2010. pp. 1087\u20131088 (2010)"},{"key":"28_CR8","unstructured":"Dylla, F., Mossakowski, T., Schneider, T., Wolter, D.: Algebraic properties of qualitative spatio-temporal calculi. Tech. rep., University of Bremen, Cognitive Systems (2013), \n                    \n                      http:\/\/arxiv.org\/abs\/1305.7345"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-54414-3_36","volume-title":"Advances in Spatial Databases","author":"M. Egenhofer","year":"1991","unstructured":"Egenhofer, M.: Reasoning about binary topological relations. In: G\u00fcnther, O., Schek, H.-J. (eds.) SSD 1991. LNCS, vol.\u00a0525, pp. 143\u2013160. Springer, Heidelberg (1991)"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Frank, A.: Qualitative spatial reasoning with cardinal directions. In: Proc. of \u00d6GAI 1991. Informatik-Fachberichte, vol. 287, pp. 157\u2013167. Springer (1991)","DOI":"10.1007\/978-3-642-46752-3_17"},{"key":"28_CR11","unstructured":"Gantner, Z., Westphal, M., W\u00f6lfl, S.: GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi. In: Proc. of the AAAI 2008 Workshop on Spatial and Temporal Reasoning (2008)"},{"key":"28_CR12","unstructured":"Grigni, M., Papadias, D., Papadimitriou, C.H.: Topological inference. In: Proc. of IJCAI 1995 (1), pp. 901\u2013907. Morgan Kaufmann (1995)"},{"key":"28_CR13","unstructured":"Hirsch, R., Hodkinson, I.: Relation algebras by games, Studies in logic and the foundations of mathematics, vol.\u00a0147. Elsevier (2002)"},{"issue":"1-2","key":"28_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0004-3702(00)00044-8","volume":"122","author":"A. Isli","year":"2000","unstructured":"Isli, A., Cohn, A.: A new approach to cyclic ordering of 2D orientations using ternary relation algebras. Artif. Intell.\u00a0122(1-2), 137\u2013187 (2000)","journal-title":"Artif. Intell."},{"key":"28_CR15","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1613\/jair.379","volume":"6","author":"P. Jonsson","year":"1997","unstructured":"Jonsson, P., Drakengren, T.: A complete classification of tractability in RCC-5. J. Artif. Intell. Res (JAIR)\u00a06, 211\u2013221 (1997)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Kontchakov, R., Pratt-Hartmann, I., Wolter, F., Zakharyaschev, M.: Spatial logics with connectedness predicates. Log. Meth. Comp. Sci.\u00a06(3) (2010)","DOI":"10.2168\/LMCS-6(3:7)2010"},{"issue":"1","key":"28_CR17","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. J. Vis. Lang. Comput.\u00a09(1), 23\u201344 (1998)","journal-title":"J. Vis. Lang. Comput."},{"key":"28_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11556114_17","volume-title":"Spatial Information Theory","author":"G. Ligozat","year":"2005","unstructured":"Ligozat, G.: Categorical methods in qualitative reasoning: The case for weak representations. In: Cohn, A.G., Mark, D.M. (eds.) COSIT 2005. LNCS, vol.\u00a03693, pp. 265\u2013282. Springer, Heidelberg (2005)"},{"key":"28_CR19","unstructured":"Ligozat, G.: Qualitative Spatial and Temporal Reasoning. Wiley (2011)"},{"key":"28_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-28633-2_8","volume-title":"PRICAI 2004: Trends in Artificial Intelligence","author":"G. Ligozat","year":"2004","unstructured":"Ligozat, G., Renz, J.: What is a qualitative calculus? A general framework. In: Zhang, C., Guesgen, H.W., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol.\u00a03157, pp. 53\u201364. Springer, Heidelberg (2004)"},{"key":"28_CR21","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artif. Intell.\u00a08, 99\u2013118 (1977)","journal-title":"Artif. Intell."},{"key":"28_CR22","unstructured":"Maddux, R.: Relation algebras, Studies in logic and the foundations of mathematics, vol. 150. Elsevier (2006)"},{"key":"28_CR23","unstructured":"Moratz, R.: Representing Relative Direction as a Binary Relation of Oriented Points. In: Proc. of ECAI 2006. pp. 407\u2013411. IOS Press (2006)"},{"key":"28_CR24","doi-asserted-by":"publisher","first-page":"2099","DOI":"10.1016\/j.artint.2011.07.004","volume":"175","author":"R. Moratz","year":"2011","unstructured":"Moratz, R., L\u00fccke, D., Mossakowski, T.: A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Artif. Intell.\u00a0175, 2099\u20132127 (2011), \n                    \n                      http:\/\/dx.doi.org\/10.1016\/j.artint.2011.07.004","journal-title":"Artif. Intell."},{"key":"28_CR25","unstructured":"Moratz, R., Renz, J., Wolter, D.: Qualitative spatial reasoning about line segments. In: Proc. of ECAI 2000. pp. 234\u2013238. IOS Press (2000)"},{"key":"28_CR26","unstructured":"Mossakowski, F.: Algebraische Eigenschaften qualitativer Constraint-Kalk\u00fcle. Diplom thesis, Dept. of Comput. Science, University of Bremen (2007) (in German)"},{"key":"28_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set, hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"28_CR28","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.artint.2011.10.003","volume":"180-181","author":"T. Mossakowski","year":"2012","unstructured":"Mossakowski, T., Moratz, R.: Qualitative reasoning about relative direction of oriented points. Artif. Intell.\u00a0180-181, 34\u201345 (2012), \n                    \n                      http:\/\/dx.doi.org\/10.1016\/j.artint.2011.10.003","journal-title":"Artif. Intell."},{"key":"28_CR29","unstructured":"Mossakowski, T., L\u00fccke, D., Moratz, R.: Relations between spatial calculi about directions and orientations. Technical report, University of Bremen"},{"issue":"1","key":"28_CR30","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10472-012-9327-5","volume":"67","author":"I. Navarrete","year":"2013","unstructured":"Navarrete, I., Morales, A., Sciavicco, G., C\u00e1rdenas-Viedma, M.: Spatial reasoning with rectangular cardinal relations \u2013 the convex tractable subalgebra. Ann. Math. Artif. Intell.\u00a067(1), 31\u201370 (2013)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"28_CR31","first-page":"14","volume":"16","author":"B. Nebel","year":"2002","unstructured":"Nebel, B., Scivos, A.: Formal properties of constraint calculi for qualitative spatial reasoning. KI\u00a016(4), 14\u201318 (2002)","journal-title":"KI"},{"key":"28_CR32","unstructured":"Pujari, A.K., Sattar, A.: A new framework for reasoning about points, intervals and durations. In: Proc. of IJCAI 1999. pp. 1259\u20131267 (1999)"},{"key":"28_CR33","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11551263_6","volume-title":"KI 2005: Advances in Artificial Intelligence","author":"M. Ragni","year":"2005","unstructured":"Ragni, M., Scivos, A.: Dependency calculus: Reasoning in a general point relation algebra. In: Furbach, U. (ed.) KI 2005. LNCS (LNAI), vol.\u00a03698, pp. 49\u201363. Springer, Heidelberg (2005)"},{"key":"28_CR34","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and \u201cConnection\u201d. In: Proc. of KR 1992, pp. 165\u2013176 (1992)"},{"key":"28_CR35","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-70736-0","volume-title":"Qualitative Spatial Reasoning with Topological Information","author":"J. Renz","year":"2002","unstructured":"Renz, J.: Qualitative Spatial Reasoning with Topological Information. LNCS (LNAI), vol.\u00a02293. Springer, Heidelberg (2002)"},{"key":"28_CR36","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-28633-2_9","volume-title":"PRICAI 2004: Trends in Artificial Intelligence","author":"J. Renz","year":"2004","unstructured":"Renz, J., Mitra, D.: Qualitative direction calculi with arbitrary granularity. In: Zhang, C., Guesgen, H.W., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol.\u00a03157, pp. 65\u201374. Springer, Heidelberg (2004)"},{"key":"28_CR37","unstructured":"Scivos, A.: Einf\u00fchrung in eine Theorie der tern\u00e4ren RST-Kalk\u00fcle f\u00fcr qualitatives r\u00e4umliches Schlie\u00dfen. Diplom thesis, University of Freiburg (2000) (in German)"},{"issue":"2","key":"28_CR38","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0004-3702(03)00137-1","volume":"152","author":"S. Skiadopoulos","year":"2004","unstructured":"Skiadopoulos, S., Koubarakis, M.: Composing cardinal direction relations. Artif. Intell.\u00a0152(2), 143\u2013171 (2004)","journal-title":"Artif. Intell."},{"issue":"1","key":"28_CR39","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.artint.2004.10.010","volume":"163","author":"S. Skiadopoulos","year":"2005","unstructured":"Skiadopoulos, S., Koubarakis, M.: On the consistency of cardinal direction constraints. Artif. Intell.\u00a0163(1), 91\u2013135 (2005)","journal-title":"Artif. Intell."},{"key":"28_CR40","unstructured":"Van de Weghe, N.: Representing and Reasoning about Moving Objects: A Qualitative Approach. Ph.D. thesis, Ghent University (2004)"},{"key":"28_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/11586180_5","volume-title":"GeoSpatial Semantics","author":"N. de Weghe Van","year":"2005","unstructured":"Van de Weghe, N., Kuijpers, B., Bogaert, P., De Maeyer, P.: A qualitative trajectory calculus and the composition of its relations. In: Rodr\u00edguez, M.A., Cruz, I., Levashkin, S., Egenhofer, M. (eds.) GeoS 2005. LNCS, vol.\u00a03799, pp. 60\u201376. Springer, Heidelberg (2005)"},{"key":"28_CR42","doi-asserted-by":"crossref","unstructured":"Vilain, M., Kautz, H., van Beek, P.: Constraint propagation algorithms for temporal reasoning: a revised report. In: Readings in Qualitative Reasoning about Physical Systems, pp. 373\u2013381. Morgan Kaufmann (1989)","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"},{"key":"28_CR43","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-75666-8_3","volume-title":"Spatial Cognition V Reasoning, Action, Interaction","author":"J.O. Wallgr\u00fcn","year":"2007","unstructured":"Wallgr\u00fcn, J.O., Frommberger, L., Wolter, D., Dylla, F., Freksa, C.: Qualitative spatial representation and reasoning in the sparQ-toolbox. In: Barkowsky, T., Knauff, M., Ligozat, G., Montello, D.R. (eds.) Spatial Cognition 2007. LNCS (LNAI), vol.\u00a04387, pp. 39\u201358. Springer, Heidelberg (2007)"},{"key":"28_CR44","unstructured":"Wallgr\u00fcn, J.O., Frommberger, L., Dylla, F., Wolter, D.: SparQ User Manual V0.7. User manual, University of Bremen (January 2009)"},{"key":"28_CR45","doi-asserted-by":"crossref","unstructured":"Wallgr\u00fcn, J.O., Wolter, D., Richter, K.F.: Qualitative matching of spatial information. In: Proceedings of ACM GIS (2010)","DOI":"10.1145\/1869790.1869833"},{"issue":"18","key":"28_CR46","doi-asserted-by":"publisher","first-page":"1498","DOI":"10.1016\/j.artint.2010.09.004","volume":"174","author":"D. Wolter","year":"2010","unstructured":"Wolter, D., Lee, J.H.: Qualitative reasoning with directional relations. Artificial Intelligence\u00a0174(18), 1498\u20131507 (2010)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Spatial Information Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01790-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T15:45:40Z","timestamp":1558021540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-01790-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319017891","9783319017907"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01790-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}