Skip to main content
SpringerLink
Log in

Reasoning about Qualitative Spatial Relationships

  • Published:
Journal of Automated Reasoning Aims and scope Submit manuscript

Abstract

In this paper, we consider various spatial relationships that are of general interest in pictorial database systems and other applications. We present a set of rules that allow us to deduce new relationships from a given set of relationships. A deductive mechanism using these rules can be used in query-processing systems that retrieve pictures by content. The given set of rules is shown to be sound; that is, the deductions are logically correct. The rules are also shown to be complete for three-dimensional systems; that is, every relationship that is implied by a given consistent set of relationships F is deducible from F using the given rules. In addition, we show that the given set of rules is incomplete for two-dimensional systems. We also present efficient algorithms for the deduction and reduction problems. The deduction problem consists of computing all the relationships deducible from a given set, while the reduction problem consists of computing a minimal subset of a given set of relationships that implies all the relationships in the given set.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Allen J. F.: Maintaining knowledge about temporal intervals, Comm. ACM 26(11) (1983).

  2. Aho, A. V., Hopcroft, J. E., and Ullman, J. D.: The Design and Analysis of Computer Algorithms, Addison-Wesley, 1974.

  3. 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.

    Google Scholar 

  4. 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–315.

    Google Scholar 

  5. 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–158.

  6. Chang, S. K., Costaliola, G., and Tucci, M.: Representing and retrieving symbolic pictures by spatial relations, J. Visual Language and Comput., to appear.

  7. Chang, S. K. and Hsu, A.: Image information systems: Where do we go from here?, IEEE Trans. Knowledge and Data Eng. C4(5) (1992), 431–442.

    Google Scholar 

  8. Chang, S. K., Hou, T. Y., and Hsu, A.: Smart Image Design for Large Image Databases, Large Image Databases, 1993.

  9. 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).

  10. 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–286.

    Google Scholar 

  11. Egenhofer, M. and Franzosa, R.: Point-set topological spatial relations, Internat. J. Geogr. Inform. Systems 5(2) (1991), 161–174.

    Google Scholar 

  12. 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–813.

  13. Faloutsos, C.: Searching Multimedia Databases by Content, Kluwer Acad. Publ., August 1996.

  14. Using Orientation Information for Qualitative Spatial Reasoning, Berick Nr. 11, Kogintionswissenschaft, Univ. Hamburg, 1992.

  15. Grosky, W. and Mehrotra, R.: Image database management, in Advanced in Computer, Vol. 34, Academic Press, New York, 1992, pp. 237–291.

    Google Scholar 

  16. 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.

  17. 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.

  18. 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–79.

  19. Gong, Y., et al.: An image database system with content capturing and fast image indexing abilities, IEEE Multimedia Conference, 1994.

  20. 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–498.

  21. Liu, C. and Yu, C.: Performance issues in distributed query processing, in IEEE Trans. on Parallel and Distributed Systems (1993).

  22. Mukerjee, A. and Joe, G.: A qualitative model for space, in Proceedings of AAAI (1990).

  23. Marcus, S. and Subrahmanian, V. S.: Multimedia database systems, Technical Report, University of Maryland, 1993.

  24. Marcus, S. and Subrahmanian, V. S.: Structured multimedia database systems, Technical Report, University of Maryland, 1993.

  25. Niblack, W., Barber, R., Equitz, W., et al.: “The QBIC project: Querying images by content using color, texture, and shape”, SPIE 1980, Storage and Retrieval for Video and Image Databases, 1993, pp. 173–187.

  26. Niblack, W., et al.: The QBIC project: Querying images by content using color, texture and shape, IBM Research Report, 1993.

  27. Naqvi, S. and Tsur, S.: A Logical Language for Data and Knowledge Base, Computer-Science Press, 1989.

  28. 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.

  29. Randell, D.: Analyzing the Familiar: Reasoning about Space and Time in Everyday Worlds, Ph.D. Thesis, University of Warwick, UK, 1991.

    Google Scholar 

  30. Reiter, R. and Mackworth, A. K.: A logical framework for depiction and image interpretation, Artif. Intell. 41 (1989).

  31. Rabitti, F. and Savino, P.: An information retrieval approach for image database, VLDB, Canada, August 1992, pp. 574–584.

  32. Ramakrishnan, R., Srivasta, D. and Sudarshan, S.: Coral-control, relations and logic, VLDB, Canada, August 1992.

  33. Sistla A. P., Yu C. T., Liu, C., and Liu, K.: Similarity-based retrieval of pictures using indices on spatial relationships, VLDB, 1995.

  34. Sistla, A. P.,Yu, C. T., and Haddad, R.: Reasoning about spatial relationships in picture retrieval systems, VLDB, 1994.

  35. Tamura, H., and Yokoya, N.: Image database system: A survey, Pattern Recognition 17(1) (1984), 29–43.

    Google Scholar 

  36. Tsur, S. and Zaniolo, C.: LDL: A logic based data language, VLDB, 1986.

  37. 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–793.

Download references

Authors
  1. A. Prasad Sistla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Clement Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sistla, A.P., Yu, C. Reasoning about Qualitative Spatial Relationships. Journal of Automated Reasoning 25, 291–328 (2000). https://doi.org/10.1023/A:1006322417869

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1006322417869

Search

Navigation