{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T09:40:09Z","timestamp":1746178809030,"version":"3.40.4"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_23","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"379-394","source":"Crossref","is-referenced-by-count":1,"title":["Refinements of the RCC25 Composition Table"],"prefix":"10.1007","author":[{"given":"Manas","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Winter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"23_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"},{"key":"23_CR2","unstructured":"Allen, J.F., Hayes, P.J.: A common sense theory of time. In: Proceedings 9th IJCAI, Los Angeles, pp. 528\u2013531 (1985)"},{"issue":"4","key":"23_CR3","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.2307\/2048576","volume":"111","author":"H. Andr\u00e9ka","year":"1991","unstructured":"Andr\u00e9ka, H., Maddux, R.D., Nemeti, I.: Splitting in relation algebras. Proceedings of the AMS\u00a0111(4), 1085\u20131093 (1991)","journal-title":"Proceedings of the AMS"},{"key":"23_CR4","unstructured":"Asher, N., Vieu, L.: Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology. In: Mellish, C. (ed.) Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 846\u2013852 (1995)"},{"key":"23_CR5","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn., vol.\u00a0XXV. American Mathematical Society Colloquium Publications (1968)"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3540634932_1","volume-title":"KI-97: Advances in Artificial Intelligence","author":"A.G. Cohn","year":"1997","unstructured":"Cohn, A.G.: Qualitative spatial representation and reasoning techniques. In: Brewka, G., Habel, C., Nebel, B. (eds.) KI 1997. LNCS, vol.\u00a01303, pp. 1\u201330. Springer, Heidelberg (1997)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Representing and reasoning with qualitative spatial relations about regions. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 97\u2013134. Kluwer, IRST (1997)","DOI":"10.1007\/978-0-585-28322-7_4"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B.L. Clarke","year":"1981","unstructured":"Clarke, B.L.: A calculus of individuals based on \u2018connection\u2019. Notre Dame J. of Formal Logic\u00a022, 204\u2013218 (1981)","journal-title":"Notre Dame J. of Formal Logic"},{"key":"23_CR9","first-page":"331","volume":"10","author":"A. Morgan de","year":"1860","unstructured":"de Morgan, A.: On the syllogism: IV, and on the logic of relations. Transactions of the Cambridge Philosophical Society\u00a010, 331\u2013358 (1860)","journal-title":"Transactions of the Cambridge Philosophical Society"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. Laguna De","year":"1922","unstructured":"De Laguna, T.: Point, line and surface as sets of solids. Journal of Philosophy\u00a019, 449\u2013461 (1922)","journal-title":"Journal of Philosophy"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"251","DOI":"10.3233\/FUN-2006-742-304","volume":"74","author":"G. Dimov","year":"2006","unstructured":"Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: A proximity approach - II. Fundamenta Informaticae\u00a074, 251\u2013282 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR12","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. Artificial Intelligence Review\u00a023, 315\u2013357 (2005)","journal-title":"Artificial Intelligence Review"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.tcs.2005.06.030","volume":"347","author":"I. D\u00fcntsch","year":"2003","unstructured":"D\u00fcntsch, I., Winter, M.: A representation theorem for boolean contact algebras. Theoretical Computer Science\u00a0347, 498\u2013512 (2003)","journal-title":"Theoretical Computer Science"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/11734673_6","volume-title":"Relational Methods in Computer Science","author":"I. D\u00fcntsch","year":"2006","unstructured":"D\u00fcntsch, I., Winter, M.: Weak contact structures. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 73\u201382. Springer, Heidelberg (2006)"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-78913-0_9","volume-title":"Relations and Kleene Algebra in Computer Science","author":"I. D\u00fcntsch","year":"2008","unstructured":"D\u00fcntsch, I., Winter, M.: The lattice of contact relations on a boolean algebra. In: Berghammer, R., M\u00f6ller, B., Struth, G. (eds.) RelMiCS\/AKA 2008. LNCS, vol.\u00a04988, pp. 99\u2013109. Springer, Heidelberg (2008)"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1013892110192","volume":"69","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I., Schmidt, G., Winter, M.: A necessary relation algebra for mereotopology. Studia Logica\u00a069, 381\u2013409 (2001)","journal-title":"Studia Logica"},{"key":"23_CR17","doi-asserted-by":"crossref","first-page":"229","DOI":"10.3233\/FI-1999-39301","volume":"39","author":"I. D\u00fcntsch","year":"1999","unstructured":"D\u00fcntsch, I., Wang, H., McCloskey, S.: Relations algebras in qualitative spatial reasoning. Fundamenta Informaticae\u00a039, 229\u2013248 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(99)00156-5","volume":"255","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I., Wang, H., McCloskey, S.: A relation-algebraic approach to the region connection calculus. Theoretical Computer Science\u00a0255, 63\u201383 (2001)","journal-title":"Theoretical Computer Science"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","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. 141\u2013160. Springer, Heidelberg (1991)"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1006\/jvlc.1994.1007","volume":"5","author":"M. Egenhofer","year":"1994","unstructured":"Egenhofer, M.: Deriving the composition of binary topological relations. Journal of Visual Languages and Computing\u00a05, 133\u2013149 (1994)","journal-title":"Journal of Visual Languages and Computing"},{"key":"23_CR21","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M. Egenhofer","year":"1991","unstructured":"Egenhofer, M., Franzosa, R.: Point-set topological spatial relations. International Journal of Geographic Information Systems\u00a05, 161\u2013174 (1991)","journal-title":"International Journal of Geographic Information Systems"},{"key":"23_CR22","unstructured":"Egenhofer, M., Sharma, J.: Topological consistency. In: Fifth International Symposium on Spatial Data Handling, Charleston, pp. 335\u2013343 (1992)"},{"key":"23_CR23","first-page":"47","volume":"1","author":"M. Egenhofer","year":"1993","unstructured":"Egenhofer, M., Sharma, J.: Assessing the consistency of complete and incomplete topological information. Geographical Systems\u00a01, 47\u201368 (1993)","journal-title":"Geographical Systems"},{"key":"23_CR24","unstructured":"Ghosh, M.: Region Connection Calculus: Composition Tables and Constraint Satisfaction Problems. MSc Thesis, Brock University (2013), https:\/\/dr.library.brocku.ca\/handle\/10464\/5109"},{"key":"23_CR25","unstructured":"Henkin, L., Monk, J.D., Tarski, A.: Cylindric algebras, Part II. Studies in Logic and the Foundations of Mathematics, vol.\u00a0115. North-Holland (1985)"},{"key":"23_CR26","unstructured":"Kahl, W., Schmidt, G.: Exploring (Finite) Relation Algebras Using Tools Written in Haskell. Technical Report 2000-02, University of the Federal Armed Forces Munich (2000)"},{"key":"23_CR27","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"R.D. Maddux","year":"1982","unstructured":"Maddux, R.D.: Some varieties containing relation algebras. Transactions of the AMS\u00a0272, 501\u2013526 (1982)","journal-title":"Transactions of the AMS"},{"key":"23_CR28","unstructured":"Maddux, R.D.: Relation algebras. Studies in Logic and the Foundations of Mathematics, vol.\u00a0150. Elsevier (2006)"},{"key":"23_CR29","unstructured":"Mormann, T.: Holes in the region connection calculus, Oisterwijk (2001) (Preprint presented at RelMiCS 6)"},{"issue":"6","key":"23_CR30","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1023\/A:1004361501703","volume":"27","author":"I. Pratt","year":"1998","unstructured":"Pratt, I., Schoop, D.: A complete axiom system for polygonal mereotopology of the real plane. Journal of Philosophical Logic\u00a027(6), 621\u2013658 (1998)","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"23_CR31","doi-asserted-by":"publisher","first-page":"822","DOI":"10.2307\/2586573","volume":"65","author":"I. Pratt","year":"2000","unstructured":"Pratt, I., Schoop, D.: Expressivity in polygonal, plane mereotopology. Journal of Symbolic Logic\u00a065(2), 822\u2013838 (2000)","journal-title":"Journal of Symbolic Logic"},{"key":"23_CR32","unstructured":"Randell, D.A., Cohn, A.G.: Modelling topological and metrical properties in physical processes. Principles of Knowledge Representation and Reasoning, 357\u2013368 (1989)"},{"key":"23_CR33","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. Principles of Knowledge Representation and Reasoning, 165\u2013176 (1992)"},{"key":"23_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-21070-9_24","volume-title":"Relational and Algebraic Methods in Computer Science","author":"P. Siddavaatam","year":"2011","unstructured":"Siddavaatam, P., Winter, M.: Splitting atoms in relation algebras. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol.\u00a06663, pp. 331\u2013346. Springer, Heidelberg (2011)"},{"key":"23_CR35","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0004-3702(00)00045-X","volume":"122","author":"J.G. Stell","year":"2000","unstructured":"Stell, J.G.: Boolean connection algebras: A new approach to the Region-Connection Calculus. Artificial Intelligence\u00a0122, 111\u2013136 (2000)","journal-title":"Artificial Intelligence"},{"key":"23_CR36","doi-asserted-by":"publisher","first-page":"527","DOI":"10.3166\/jancl.12.527-559","volume":"12","author":"D. Vakarelov","year":"2002","unstructured":"Vakarelov, D., Dimov, G., D\u00fcntsch, I., Bennett, B.: A proximity approach to some region-based theories of space. Journal of Applied Non-classical Logics\u00a012, 527\u2013559 (2002)","journal-title":"Journal of Applied Non-classical Logics"},{"key":"23_CR37","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0169-023X(96)00017-1","volume":"20","author":"A.C. Varzi","year":"1996","unstructured":"Varzi, A.C.: Parts, wholes, and part-whole relations: The Prospect of Mereotopology. Data & Knowledge Engineering\u00a020, 259\u2013286 (1996)","journal-title":"Data & Knowledge Engineering"},{"key":"23_CR38","unstructured":"Whitehead, A.N.: Process and Reality. MacMillan (1929)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T09:07:15Z","timestamp":1746176835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}