Generalized region connection calculus

Artificial Intelligence

Volumn 160, Issue 1-2, 2004, Pages 1-34

  Li, Sanjiang ^a   Ying, Mingsheng ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

(Generalized) Boolean connection algebra; (Generalized) Region Connection Calculus; Continuous space; Discrete space; Mereology; Mereotopology; Qualitative spatial reasoning

Indexed keywords

ALGEBRA; DATA ACQUISITION; MATHEMATICAL MODELS; QUERY LANGUAGES; TOPOLOGY;

(GENERALIZED) BOOLEAN CONNECTION ALGEBRA; (GENERALIZED) REGION CONNECTION CALCULUS; DISCRETE SPACE; MEREOLOGY; QUALITATIVE SPATIAL REASONING;

GEOGRAPHIC INFORMATION SYSTEMS;

EID: 7544242367     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2004.05.012     Document Type: Article

References (54)

1. N. Asher, L. Vieu, Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology, in: C. Mellish (Ed.), Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI-95, Montreal, Quebec, 1995, pp. 846-852.
2. R. Halbes, P. Dwinger, Distributive Lattices, University of Missouri Press, 1974.
3. B. Bennett, Logical representations for automated reasoning about spatial relationships, PhD Thesis, University of Leeds, UK, 1998.
4. T. Bittner, J.G. Stell, A boundary-sensitive approach to qualitative location, Ann. Math. Artificial Intelligence 24 (1998) 93-114.
5. P.A. Burrough, A.U. Frank (Eds.), Geographic Objects with Indeterminate Boundaries, GISDATA Series, vol. 2, Taylor and Francis, 1996.
6. C.C. Chang, H.J. Keisler, Model Theory, North-Holland, Amsterdam, 1973.
7. B.L. Clarke, A calculus of individuals based on 'connection', Notre Dame J. Formal Logic 22 (1981) 204-218.
8. B.L. Clarke, Individuals and points, Notre Dame J. Formal Logic 26 (1985) 61-75.
9. E. Clementini, P. Di Felice, An algebraic model for spatial objects with indeterminate boundaries, in [5], pp. 155-169.
10. E. Clementini, J. Sharma, F. Egenhofer, Modelling topological spatial regions: strategies for query processing, Computers Graphics 18 (1994) 815-822.
11. A.G. Cohn, Qualitative spatial representation and reasoning techniques, Research Report, University of Leeds, School of Computer Studies, 1997.
12. A.G. Cohn, N.M. Gotts, The 'egg-yolk' representation of regions with indeterminate boundaries, in [5], pp. 171-187.
13. Z. Cui, A.G. Cohn, D.A. Randell, Qualitative and topological relationships in spatial databases, in: D. Abel, B.C. Ooi (Eds.), Advances in Spatial Databases, in: Lecture Notes in Computer Science, vol. 692, Springer, Berlin, 1993, pp. 293-315.
14. I. Düntsch, A tutorial on relation algebras and their application in spatial reasoning, Given at COSIT, August 1999. Available from: http://www.cosc.brocku.ca/~duentsch/papers/relspat.html.
15. I. Düntsch, G. Schmidt, M. Winter, A necessary relation algebra for mereotopology, Studia Logica 69 (2001) 381-409.
16. I. Düntsch, M. Winter, A representation theorem for Boolean contact algebras, Preprint, 2003. Available from: http://www.cosc.brocku.ca/Department/Research/TR/cs0308.pdf.
17. I. Düntsch, H. Wang, S. McCloskey, A relation-algebraic approach to the region connection calculus, Theoret. Comput. Sci. 255 (2001) 63-83.
18. M.J. Egenhofer, Spatial query languages, PhD Thesis, University of Maine, 1989.
19. M.J. Egenhofer, Reasoning about binary topological relations, in; O. Günther, H.-J. Schek (Eds.), Advances in Spatial Databases, in: Lecture Notes in Computer Science, vol. 525, Springer, New York, 1991, pp. 143-160.
20. M.J. Egenhofer, R. Franzosa, Point-set topological spatial relations, Internat. J. Geograph. Inform. Syst. 5 (1991) 161-174.
21. 2, in: D. Abel, B.C. Ooi (Eds.), Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, pp. 316-336.
22. C. Eschenbach, A predication calculus for qualitative spatial representations, in [23], pp. 157-172.
23. C. Freksa, D. Mark (Eds.), Spatial Information Theory. Cognitive and Computational Foundations of Geographic information Science, International Conference COSIT'99, Lecture Notes in Computer Science, vol. 1661, Springer, Berlin, 1999.
24. A. Galton, The mereotopology of discrete space, in [23], pp. 251-266.
25. N.M. Gotts, An axiomatic approach to spatial information systems, Research Report 96.25, University of Leeds, School of Computer Studies, 1996.
26. P.T. Johnstone, Stone Spaces, Cambridge University Press, Cambridge, 1982.
27. S. Lesniewski, On the foundations of mathematics, Topoi 2 (1983) 7-52.
28. S. Li, M. Ying, Region Connection Calculus: Its models and composition table, Artificial Intelligence 145 (2003) 121-146.
29. S. Li, M. Ying, Y. Li, On countable RCC models, Preprint, 2004. Available from: http://www.compscipreprints.com/comp/Preprint/sanjiang/20040321.2/1/.
30. C. Masolo, L. Vieu, Atomicity vs. infinite divisibility of space, in [23], pp. 235-250.
31. D.A. Randell, A.G. Cohn, Modelling topological and metrical properties of physical processes, in: R.J. Brachman, H.J. Levesque, R. Reiter (Eds.), Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, CA, 1989, pp. 55-66.
32. D.A. Randell, Z. Cui, A.G. Cohn, A spatial logic based on regions and connection, in: B. Nebel, W. Swartout, C. Rich (Eds.), Proceedings of the Third International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, CA, 1992, pp. 165-176.
33. J. Renz, A canonical model of the Region Connection Calculus, J. Appl. Non-Classical Logics 12 (3-4) (2002) 469-494.
34. J. Renz, Qualitative Spatial Reasoning with Topological Information, Lecture Notes in Artificial Intelligence, vol. 2293, Springer, Berlin, 2002.
35. J. Renz, B. Nebel, On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus, Artificial Intelligence 108 (1999) 69-123.
36. J. Renz, B. Nebel, Efficient methods for qualitative spatial reasoning, J. Artificial Intelligence Res. 15 (2001) 289-318.
37. A. Rosenfeld, Digital topology, Amer. Math. Monthly 86 (1979) 621-630.
38. A.J. Roy, J.G. Stell, Spatial relations between indeterminate regions, Internat. J. Approx. Reasoning 27 (2001) 205-234.
39. A.J. Roy, J.G. Stell, A qualitative account of discrete space, in: M.J. Egenhofer, D.M. Mark (Eds.), Proceedings of Second International Conference of Geographic Information Science, GIScience 2002, in: Lecture Notes in Computer Science, vol. 2478, Springer, Berlin, 2002, pp. 276-290.
40. H. Samet, The Design and Analysis of Spatial Data Structures, Addison-Wesley, Reading, MA, 1990.
41. P. Simons, Parts, A Study in Ontology, Clarendon Press, Oxford, 1987.
42. B. Smith, Mereotopology - A theory of parts and boundaries, Data Knowledge Engrg. 20 (1996) 287-303.
43. J.G. Stell, Granulations for graphs, in [23], pp. 417-432.
44. J.G. Stell, The representation of discrete multi-resolution spatial knowledge, in: A.G. Cohn, F. Giunchiglia, B. Selman (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of KR-2000, Morgan Kaufmann, San Mateo, CA, 2000, pp. 38-49.
45. J.G. Stell, Boolean connection algebras: A new approach to the Region-Connection Calculus, Artificial Intelligence 122 (2000) 111-136.
46. A. Tarski, On the foundations of Boolean algebra (1935), reprinted in: Logic, Semantics, Meta-Mathematics. Papers from 1923 to 1938, Clarendon Press, Oxford, 1956.
47. A. Tarski, On the foundations of Boolean algebra (1935), reprinted in: Logic, Semantics, Meta-Mathematics. Papers from 1923 to 1938, Clarendon Press, Oxford, 1956.
48. A. Varzi, Parts, wholes, and part-whole relations: The prospects of mereotopology, Data Knowledge Engrg. 20 (3) (1996) 259-286.
49. A.N. Whitehead, Process and Reality: An Essay in Cosmology, Cambridge University Press, Cambridge, 1929.
50. S. Winter, Topological relations between discrete regions, in: M.J. Egenhofer, J.R. Herring (Eds.), Advances in Spatial Databases, in: Lecture Notes in Computer Science, vol. 951, Springer, Berlin, 1995, pp. 310-327.
51. S. Winter, Topological relations in hierarchical partitions, in [23], pp. 141-155.
52. S. Winter, Topology in raster and vector representation, GeoInformatica 4 (2000) 35-65.
53. M. Worboys, Imprecision in finite resolution spatial data, GeoInfomatica 2 (1998) 257-279.
54. M. Worboys, P. Bofakos, A canonical model for a class of areal spatial objects, in: D. Abel, B.C. Ooi (Eds.), Third international Symposium on Large Spatial Databases, in: Lecture Notes in Computer Science, vol. 692, Springer, New York, 1993, pp. 36-52.