{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:25:26Z","timestamp":1762032326599,"version":"3.41.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[2000,11]]},"DOI":"10.1023\/a:1006322417869","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T01:36:27Z","timestamp":1040520987000},"page":"291-328","source":"Crossref","is-referenced-by-count":18,"title":["Reasoning about Qualitative Spatial Relationships"],"prefix":"10.1007","volume":"25","author":[{"given":"A. Prasad","family":"Sistla","sequence":"first","affiliation":[]},{"given":"Clement","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"242460_CR1","doi-asserted-by":"crossref","unstructured":"Allen J. F.: Maintaining knowledge about temporal intervals, Comm. ACM\n26(11) (1983).","DOI":"10.1145\/182.358434"},{"key":"242460_CR2","unstructured":"Aho, A. V., Hopcroft, J. E., and Ullman, J. D.: The Design and Analysis of Computer Algorithms, Addison-Wesley, 1974."},{"key":"242460_CR3","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60697-1","volume-title":"International Conference COSIT 95, Semmering, Austria","author":"A. Chon","year":"1995","unstructured":"Chon, A.: A hierarchical representation of space based on connection and convexity, in International Conference COSIT 95, Semmering, Austria, Lecture Notes in Comput. Sci. 988, Springer-Verlag, Berlin, 1995."},{"key":"242460_CR4","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-56869-7_17","volume-title":"Third International Symposium on Large Databases, 1993","author":"Z. Cui","year":"1993","unstructured":"Cui, Z., Cohn, A., and Randell, D.: Qualitative and topological relationships in spatial databases, in Third International Symposium on Large Databases, 1993, Lecture Notes in Comput. Sci. 692, Springer-Verlag, New York, 1993, pp. 296\u2013315."},{"key":"242460_CR5","unstructured":"Cohn, A. G., Randell, D., and Cui, Z.: A taxonomy of logically defined qualitative spatial relations, in Proc. of International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Padova, 1993, pp. 149\u2013158."},{"key":"242460_CR6","unstructured":"Chang, S. K., Costaliola, G., and Tucci, M.: Representing and retrieving symbolic pictures by spatial relations, J. Visual Language and Comput., to appear."},{"issue":"5","key":"242460_CR7","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1109\/69.166986","volume":"C4","author":"S. K. Chang","year":"1992","unstructured":"Chang, S. K. and Hsu, A.: Image information systems: Where do we go from here?, IEEE Trans. Knowledge and Data Eng.\nC4(5) (1992), 431\u2013442.","journal-title":"IEEE Trans. Knowledge and Data Eng."},{"key":"242460_CR8","doi-asserted-by":"crossref","unstructured":"Chang, S. K., Hou, T. Y., and Hsu, A.: Smart Image Design for Large Image Databases, Large Image Databases, 1993.","DOI":"10.1016\/1045-926X(92)90006-8"},{"key":"242460_CR9","unstructured":"Chang, S. K., Shi, Q. Y., and Yan, C. W.: Icomic indexing by 2-D strings, IEEE Trans. Pattern Analysis and Machine Intelligence (July 1984)."},{"key":"242460_CR10","series-title":"Lecture Notes in Comput. Sci.","first-page":"271","volume-title":"Third International Conference on Foundations of Data Organization and Algorithms (FODO), Paris, France","author":"M. J. Egenhofer","year":"1989","unstructured":"Egenhofer, M. J.: A formal definition of binary topological relationships, in W. Litwin and H. J. Schek (eds.), Third International Conference on Foundations of Data Organization and Algorithms (FODO), Paris, France, Lecture Notes in Comput. Sci. 409, Springer-Verlag, New York, 1989, pp. 271\u2013286."},{"issue":"2","key":"242460_CR11","first-page":"161","volume":"5","author":"M. Egenhofer","year":"1991","unstructured":"Egenhofer, M. and Franzosa, R.: Point-set topological spatial relations, Internat. J. Geogr. Inform. Systems\n5(2) (1991), 161\u2013174.","journal-title":"Internat. J. Geogr. Inform. Systems"},{"key":"242460_CR12","unstructured":"Egenhofer, M. and Herring, J.: A mathematical framework for the definition of topological relationships, in K. Brassel and H. Kishimoto (eds.), Fourth International Symposium on Data Handling, Zurich, Switzerland, 1990, pp. 803\u2013813."},{"key":"242460_CR13","doi-asserted-by":"crossref","unstructured":"Faloutsos, C.: Searching Multimedia Databases by Content, Kluwer Acad. Publ., August 1996.","DOI":"10.1007\/978-1-4613-1445-5"},{"key":"242460_CR14","unstructured":"Using Orientation Information for Qualitative Spatial Reasoning, Berick Nr. 11, Kogintionswissenschaft, Univ. Hamburg, 1992."},{"key":"242460_CR15","first-page":"237","volume-title":"Advanced in Computer, Vol. 34","author":"W. Grosky","year":"1992","unstructured":"Grosky, W. and Mehrotra, R.: Image database management, in Advanced in Computer, Vol. 34, Academic Press, New York, 1992, pp. 237\u2013291."},{"key":"242460_CR16","doi-asserted-by":"crossref","unstructured":"Gudivada, V. N. and Raghavan, V. V.: Design and evaluation of algorithms for image retrieval by spatial similarity, ACM Trans. on Inform. Systems (1994), to appear.","DOI":"10.1145\/201040.201041"},{"key":"242460_CR17","unstructured":"Gudivada V. N., Raghavan V. V., and Vanapipat K.: A unified approach to data modeling for a class of image database applications, Tech. Report, 1994."},{"key":"242460_CR18","unstructured":"Gupta, A., Weymouth, T., and Jain, R.: Semantic queries with pictures: The VIMSYS model, in International Conference on Very Large Data Bases, Barcelona, Spain, 1991, pp. 69\u201379."},{"key":"242460_CR19","unstructured":"Gong, Y., et al.: An image database system with content capturing and fast image indexing abilities, IEEE Multimedia Conference, 1994."},{"key":"242460_CR20","doi-asserted-by":"crossref","unstructured":"Lee, E. and Whalen, T.: Computer image retrieval by features: Suspect identification, in Proceedings of the ACM Conferences on Human Factors in Computing Systems, Amsterdam, 1993, pp. 494\u2013498.","DOI":"10.1145\/169059.169435"},{"key":"242460_CR21","doi-asserted-by":"crossref","unstructured":"Liu, C. and Yu, C.: Performance issues in distributed query processing, in IEEE Trans. on Parallel and Distributed Systems (1993).","DOI":"10.1109\/71.238624"},{"key":"242460_CR22","unstructured":"Mukerjee, A. and Joe, G.: A qualitative model for space, in Proceedings of AAAI (1990)."},{"key":"242460_CR23","unstructured":"Marcus, S. and Subrahmanian, V. S.: Multimedia database systems, Technical Report, University of Maryland, 1993."},{"key":"242460_CR24","unstructured":"Marcus, S. and Subrahmanian, V. S.: Structured multimedia database systems, Technical Report, University of Maryland, 1993."},{"key":"242460_CR25","doi-asserted-by":"crossref","unstructured":"Niblack, W., Barber, R., Equitz, W., et al.: \u201cThe QBIC project: Querying images by content using color, texture, and shape\u201d, SPIE 1980, Storage and Retrieval for Video and Image Databases, 1993, pp. 173\u2013187.","DOI":"10.1117\/12.143648"},{"key":"242460_CR26","doi-asserted-by":"crossref","unstructured":"Niblack, W., et al.: The QBIC project: Querying images by content using color, texture and shape, IBM Research Report, 1993.","DOI":"10.1117\/12.143648"},{"key":"242460_CR27","unstructured":"Naqvi, S. and Tsur, S.: A Logical Language for Data and Knowledge Base, Computer-Science Press, 1989."},{"key":"242460_CR28","doi-asserted-by":"crossref","unstructured":"Pentland, A., Picard, R.W., and Scarloff, S.: Photobook: Tools for Content-based Manipulation of Image Databases, Proc. Storage and Retrieval for Image and Video Databases. II, SPIE, 1994.","DOI":"10.1117\/12.171786"},{"key":"242460_CR29","volume-title":"Analyzing the Familiar: Reasoning about Space and Time in Everyday Worlds","author":"D. Randell","year":"1991","unstructured":"Randell, D.: Analyzing the Familiar: Reasoning about Space and Time in Everyday Worlds, Ph.D. Thesis, University of Warwick, UK, 1991."},{"key":"242460_CR30","doi-asserted-by":"crossref","unstructured":"Reiter, R. and Mackworth, A. K.: A logical framework for depiction and image interpretation, Artif. Intell.\n41 (1989).","DOI":"10.1016\/0004-3702(89)90008-8"},{"key":"242460_CR31","unstructured":"Rabitti, F. and Savino, P.: An information retrieval approach for image database, VLDB, Canada, August 1992, pp. 574\u2013584."},{"key":"242460_CR32","unstructured":"Ramakrishnan, R., Srivasta, D. and Sudarshan, S.: Coral-control, relations and logic, VLDB, Canada, August 1992."},{"key":"242460_CR33","unstructured":"Sistla A. P., Yu C. T., Liu, C., and Liu, K.: Similarity-based retrieval of pictures using indices on spatial relationships, VLDB, 1995."},{"key":"242460_CR34","unstructured":"Sistla, A. P.,Yu, C. T., and Haddad, R.: Reasoning about spatial relationships in picture retrieval systems, VLDB, 1994."},{"issue":"1","key":"242460_CR35","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0031-3203(84)90033-5","volume":"17","author":"H. Tamura","year":"1984","unstructured":"Tamura, H., and Yokoya, N.: Image database system: A survey, Pattern Recognition\n17(1) (1984), 29\u201343.","journal-title":"Pattern Recognition"},{"key":"242460_CR36","unstructured":"Tsur, S. and Zaniolo, C.: LDL: A logic based data language, VLDB, 1986."},{"key":"242460_CR37","doi-asserted-by":"crossref","unstructured":"Yu, C. T., Guh, K., Brill, D., and Chen, A.: Partition strategy for distributed query processing in fast local networks, IEEE Trans. Software Eng. (1989), 780\u2013793.","DOI":"10.1109\/32.24731"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006322417869.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006322417869\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006322417869.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:42:37Z","timestamp":1749123757000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006322417869"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,11]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,11]]}},"alternative-id":["242460"],"URL":"https:\/\/doi.org\/10.1023\/a:1006322417869","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2000,11]]}}}