Abstract
Representing and reasoning about spatial information is important in artificial intelligence and geographical information science. Relations between spatial entities are the most important kind of spatial information. Most current formalisms of spatial relations focus on one single aspect of space. This contrasts sharply with real world applications, where several aspects are usually involved together. This paper proposes a qualitative calculus that combines a simple directional relation model with the well-known topological RCC5 model. We show by construction that the consistency of atomic networks can be decided in polynomial time.
Keywords
This work was partly supported by the Alexander von Humboldt Foundation and the National Natural Science Foundation of China (60305005, 60321002, 60496321).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Randell, D., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Nebel, B., Swartout, W., Rich, C. (eds.) Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, Los Allos, pp. 165–176. Morgan Kaufmann, San Francisco (1992)
Düntsch, I., Wang, H., McCloskey, S.: A relation-algebraic approach to the Region Connection Calculus. Theoretical Computer Science 255, 63–83 (2001)
Li, S., Ying, M.: Region Connection Calculus: Its models and composition table. Artificial Intelligence 145(1-2), 121–146 (2003)
Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the RegionConnection Calculus. Artificial Intelligence 108, 69–123 (1999)
Li, S.: On topological consistency and realization. Constraints 11(1), 31–51 (2006)
Li, S., Wang, H.: RCC8 binary constraint network can be consistently extended. Artif. Intell. 170(1), 1–18 (2006)
Frank, A.U.: Qualitative spatial reasoning about cardinal directions. In: Proceedings of the 7th Austrian Conference on Artificial Intelligence, pp. 157–167 (1991)
Ligozat, G.: Reasoning about cardinal directions. J. Vis. Lang. Comput. 9(1), 23–44 (1998)
Balbiani, P., Condotta, J.F., del Cerro, L.F.: A new tractable subclass of the rectangle algebra. In: Dean, T. (ed.) IJCAI, pp. 442–447. Morgan Kaufmann, San Francisco (1999)
Allen, J.: Maintaining knowledge about temporal intervals. Communications of the ACM 26, 832–843 (1983)
Goyal, R., Egenhofer, M.J.: The direction-relation matrix: A representation for directions relations between extended spatial objects. In: The Annual Assembly and the Summer Retreat of University Consortium for Geographic Information Systems Science (1997)
Skiadopoulos, S., Koubarakis, M.: On the consistency of cardinal direction constraints. Artif. Intell. 163(1), 91–135 (2005)
Golumbic, M.C., Shamir, R.: Complexity and algorithms for reasoning about time: a graph-theoretic approach. J. ACM 40(5), 1108–1133 (1993)
Sistla, A.P., Yu, C.T.: Reasoning about qualitative spatial relationships. Journal of Automated Reasoning 25(4), 291–328 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, S. (2006). Combining Topological and Directional Information: First Results. In: Lang, J., Lin, F., Wang, J. (eds) Knowledge Science, Engineering and Management. KSEM 2006. Lecture Notes in Computer Science(), vol 4092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11811220_22
Download citation
DOI: https://doi.org/10.1007/11811220_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37033-8
Online ISBN: 978-3-540-37035-2
eBook Packages: Computer ScienceComputer Science (R0)