{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T12:49:58Z","timestamp":1725367798979},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.1007\/s10601-006-6847-9","type":"journal-article","created":{"date-parts":[[2006,4,6]],"date-time":"2006-04-06T22:56:09Z","timestamp":1144364169000},"page":"31-51","source":"Crossref","is-referenced-by-count":23,"title":["On Topological Consistency and Realization"],"prefix":"10.1007","volume":"11","author":[{"given":"Sanjiang","family":"Li","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,3,7]]},"reference":[{"key":"6847_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communication ACM, Vol. 26 (pp. 832\u2013843).","journal-title":"Communication ACM"},{"key":"6847_CR2","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94)","author":"B. Bennett","year":"1994","unstructured":"Bennett, B. (1994). Spatial reasoning with propositional logics. In J. Doyle, E. Sandewall & P. Torasso (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94). San Francisco, CA: Morgan Kaufmann."},{"issue":"1","key":"6847_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1093\/jigpal\/4.1.23","volume":"4","author":"B. Bennett","year":"1996","unstructured":"Bennett, B. (1996). Modal logics for qualitative spatial reasoning. Bulletin IGPL 4(1), 23\u201345.","journal-title":"Bulletin IGPL"},{"key":"6847_CR4","unstructured":"Bennett, B. (1997). Logical Representations for Automated Reasoning about Spatial Relationships. PhD thesis, School of Computer Studies, University of Leeds."},{"key":"6847_CR5","first-page":"293","volume-title":"Advances in Spatial Databases, Lecture Notes in Computer Sciences 692","author":"Z. Cui","year":"1993","unstructured":"Cui, Z., Cohn, A. G., & Randell, D. A. (1993). Qualitative and topological relationships in spatial databases. In D. Abel & B. C. Ooi (Eds.), Advances in Spatial Databases, Lecture Notes in Computer Sciences 692, (pp. 293\u2013315). Berlin: Springer-Verlag."},{"key":"6847_CR6","doi-asserted-by":"crossref","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. (2001). A relation-algebraic approach to the Region Connection Calculus. Theoretical Computer Science 255, 63\u201383.","journal-title":"Theoretical Computer Science"},{"key":"6847_CR7","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1016\/j.tcs.2005.06.030","volume":"347","author":"I. D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I., & Winter, M. (2005). A representation theorem for Boolean contact algebras. Theoretical Computer Science (B), 347, 498\u2013512.","journal-title":"Theoretical Computer Science (B)"},{"key":"6847_CR8","first-page":"143","volume-title":"Advances in Spatial Databases","author":"M. J. Egenhofer","year":"1991","unstructured":"Egenhofer, M. J. (1991). Reasoning about binary topological relations. In O. G\u00fcnther & H. Schek (Eds.), Advances in Spatial Databases, (pp. 143\u2013160). New York: Springer. Theoretical Computer Science (B)347\u2013512."},{"key":"6847_CR9","unstructured":"Gotts, N. M. (1996). An axiomatic approach to spatial information systems. Research Report 96.25, School of Computer Studies, University of Leeds."},{"key":"6847_CR10","unstructured":"Grigni, M., Papadias, D., & Papadimitriou, C. (1995). Topological inference. In C. Mellish, (Ed.), Proceedings of the 14th International Joint Conference on Artificial Intelligence, (pp. 901\u2013906)."},{"key":"6847_CR11","doi-asserted-by":"crossref","unstructured":"Knauff, M., Rauh, R., & Renz, J. (1997). A cognitive assessment of topological spatial relations: results from an empirical investigation. In Spatial Information Theory, A Theoretical Basis for GIS, International Conference COSIT '97 Proceedings, (pp. 193\u2013206). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/3-540-63623-4_51"},{"issue":"3\u20134","key":"6847_CR12","first-page":"363","volume":"55","author":"S. Li","year":"2003","unstructured":"Li, S., & Ying, M. (2003a). Extensionality of the RCC8 composition table. Fundamenta Informaticae 55(3\u20134), 363\u2013385.","journal-title":"Fundamenta Informaticae"},{"issue":"1\u20132","key":"6847_CR13","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0004-3702(02)00372-7","volume":"145","author":"S. Li","year":"2003","unstructured":"Li, S., & Ying, M. (2003b). Region connection calculus: Its models and composition table. Artificial Intelligence 145(1\u20132), 121\u2013146.","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"6847_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2004.05.012","volume":"160","author":"S. Li","year":"2004","unstructured":"Li, S., &Ying, M. (2004). Generalized Region Connection Calculus. Artificial Intelligence 160(1\u20132), 1\u201334.","journal-title":"Artificial Intelligence"},{"key":"6847_CR15","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Mackworth, A. K. (1977). Consistency in networks of relations. Artificial Intelligence, Vol. 8 (pp. 99\u2013118).","journal-title":"Artificial Intelligence"},{"key":"6847_CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U. (1974). Networks of constraints: fundamental properties and applications to picture processing. Information Science, Vol. 7 (95\u2013132).","journal-title":"Information Science"},{"key":"6847_CR17","unstructured":"Nebel, B. (1995). Computational properties of qualitative spatial reasoning: First results. KI-95: Advances in Artificial Intelligence, Proceedings of the 19th Annual German Conference on Artificial Intelligence, (pp. 233\u2013244). Berlin, Germany: Springer-Verlag."},{"key":"6847_CR18","first-page":"55","volume-title":"First International Conference on the Principles of Knowledge Representation and Reasoning","author":"D. A. Randell","year":"1989","unstructured":"Randell, D. A., & Cohn, A. G. (1989). Modelling topological and metrical properties of physical processes. In R. J. Brachman, H. J. Levesque & R. Reiter, (Eds.), First International Conference on the Principles of Knowledge Representation and Reasoning, (pp. 55\u201366). Los Altos: Morgan Kaufmann."},{"key":"6847_CR19","first-page":"165","volume-title":"Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A., Cui, Z., & Cohn, A. G. (1992). A spatial logic based on regions and connection. In B. Nebel, W. Swartout & C. Rich, (Eds.), Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, (pp. 165\u2013176). Los Allos: Morgan Kaufmann."},{"key":"6847_CR20","unstructured":"Renz, J. (1998). A canonical model of the Region Connection Calculus. Proceedings of the 6th International Conference on Knowledge Representation and Reasoning, (pp. 330\u2013341). Morgan Kaufmann."},{"key":"6847_CR21","unstructured":"Renz, J. (1999). Maximal tractable fragments of the Region Connection Calculus. Proceedings of the 16th International Joint Conference on Artificial Intelligence, (pp. 448\u2013454)."},{"key":"6847_CR22","volume-title":"Qualitative spatial reasoning with topological information. Lecture Notes in Artificial Intelligence, Vol. 2293","author":"J. Renz","year":"2002","unstructured":"Renz, J. (2002). Qualitative spatial reasoning with topological information. Lecture Notes in Artificial Intelligence, Vol. 2293. Berlin, Germany: Springer-Verlag."},{"key":"6847_CR23","unstructured":"Renz, J., & Nebel, B. (1997). On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Proceedings of the 15th International Joint Conference on Artificial Intelligence, (pp. 522\u2013527)."},{"key":"6847_CR24","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","unstructured":"Renz, J., & Nebel, B. (1999). On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Artificial Intelligence, Vol. 108 (pp. 69\u2013123).","journal-title":"Artificial Intelligence"},{"key":"6847_CR25","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0004-3702(00)00045-X","volume":"122","author":"J. G. Stell","year":"2000","unstructured":"Stell, J. G. (2000). Boolean connection algebras: a new approach to the Region-Connection Calculus. Artificial Intelligence, Vol. 122 (pp. 111\u2013136).","journal-title":"Artificial Intelligence"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-006-6847-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-006-6847-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-006-6847-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:14:13Z","timestamp":1559243653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-006-6847-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1]]}},"alternative-id":["6847"],"URL":"https:\/\/doi.org\/10.1007\/s10601-006-6847-9","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}