On topological consistency and realization

Constraints

Volumn 11, Issue 1, 2006, Pages 31-51

  Li, Sanjiang ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Consistency; Path consistency; Qualitative spatial reasoning; RCC8 constraint language; Realization; Region Connection Calculus

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; OBJECT RECOGNITION;

CONSISTENCY; GEOGRAPHICAL INFORMATION SCIENCE; PATH-CONSISTENCY; QUALITATIVE SPATIAL REASONING; RCC8 CONSTRAINT LANGUAGE; REALIZATION; REGION CONNECTION CALCULUS; SPATIAL MODEL; TOPOLOGICAL CONSISTENCY;

TOPOLOGY;

EID: 33645749118     PISSN: 13837133     EISSN: 15729354     Source Type: Journal    
DOI: 10.1007/s10601-006-6847-9     Document Type: Article

References (26)

1. Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communication ACM, Vol. 26 (pp. 832-843).
2. 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.
3. Bennett, B. (1996). Modal logics for qualitative spatial reasoning. Bulletin IGPL 4(1), 23-45.
4. Bennett, B. (1997). Logical Representations for Automated Reasoning about Spatial Relationships. PhD thesis, School of Computer Studies, University of Leeds.
5. 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-315). Berlin: Springer-Verlag.
6. Düntsch, I., Wang, H., & McCloskey, S. (2001). A relation-algebraic approach to the Region Connection Calculus. Theoretical Computer Science 255, 63-83.
7. Düntsch, I., & Winter, M. (2005). A representation theorem for Boolean contact algebras. Theoretical Computer Science (B), 347, 498-512.
8. Egenhofer, M. J. (1991). Reasoning about binary topological relations. In O. Günther & H. Schek (Eds.), Advances in Spatial Databases, (pp. 143-160). New York: Springer.
9. Theoretical Computer Science (B)347-512.
10. Gotts, N. M. (1996). An axiomatic approach to spatial information systems. Research Report 96.25, School of Computer Studies, University of Leeds.
11. 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-906).
12. 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-206). Berlin, Germany: Springer-Verlag.
13. Li, S., & Ying, M. (2003a). Extensionality of the RCC8 composition table. Fundamenta Informaticae 55(3-4), 363-385.
14. Li, S., & Ying, M. (2003b). Region connection calculus: Its models and composition table. Artificial Intelligence 145(1-2), 121-146.
15. Li, S., &Ying, M. (2004). Generalized Region Connection Calculus. Artificial Intelligence 160(1-2), 1-34.
16. Mackworth, A. K. (1977). Consistency in networks of relations. Artificial Intelligence, Vol. 8 (pp. 99-118).
17. Montanari, U. (1974). Networks of constraints: fundamental properties and applications to picture processing. Information Science, Vol. 7 (95-132).
18. 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-244). Berlin, Germany: Springer-Verlag.
19. 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-66). Los Altos: Morgan Kaufmann.
20. 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-176). Los Allos: Morgan Kaufmann.
21. Renz, J. (1998). A canonical model of the Region Connection Calculus. Proceedings of the 6th International Conference on Knowledge Representation and Reasoning, (pp. 330-341). Morgan Kaufmann.
22. Renz, J. (1999). Maximal tractable fragments of the Region Connection Calculus. Proceedings of the 16th International Joint Conference on Artificial Intelligence, (pp. 448-454).
23. Renz, J. (2002). Qualitative spatial reasoning with topological information. Lecture Notes in Artificial Intelligence, Vol. 2293. Berlin, Germany: Springer-Verlag.
24. 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-527).
25. 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-123).
26. Stell, J. G. (2000). Boolean connection algebras: a new approach to the Region-Connection Calculus. Artificial Intelligence, Vol. 122 (pp. 111-136).