On the complemented disk algebra

Journal of Logic and Algebraic Programming

Volumn 66, Issue 2, 2006, Pages 195-211

  Li, Sanjiang ^a   Li, Yongming ^b  

^a TSINGHUA UNIVERSITY   (China)

^b SHAANXI NORMAL UNIVERSITY   (China)

Author keywords

Complemented disk algebra; Contact relation algebras; Extensionality; RCC11 composition table; Region Connection Calculus

Indexed keywords

GRAPHIC METHODS; MATHEMATICAL PROGRAMMING; NUMERICAL METHODS;

COMPLEMENTED DISK ALGEBRA; CONTACT RELATION ALGEBRAS; EXTENSIONALITY; RCC11 COMPOSITION TABLES; REGION CONNECTION CALCULUS;

ALGEBRA;

EID: 30744439330     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2005.04.003     Document Type: Article

References (23)

1. J.F. Allen Maintaining knowledge about temporal intervals Communications of the ACM 26 1983 832 843
2. G. Birkhoff Lattice Theory 1967. AMS Providence, RI
3. A.G. Cohn, and B. Bennett Qualitative spatial representation and reasoning with the Region Connection Calculus GeoInformatica 1 1997 275 316
4. Z. Cui, A.G. Cohn, and D.A. Randell Qualitative and topological relationships in spatial databases D. Abel B.C. Ooi Advances in Spatial Databases LNCS 692 1993 Springer-Verlag Berlin 293 315
5. 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>.
6. I. Düntsch Relation algebras and their application in temporal and spatial reasoning Artificial Intelligence Review 23 2005 315 357
7. I. Düntsch, G. Schmidt, and M. Winter A necessary relation algebra for mereotopology Studia Logica 69 2001 380 409
8. I. Düntsch, H. Wang, and S. McCloskey Relation algebras in qualitative spatial reasoning Fundamental Informaticae 39 1999 229 248
9. I. Düntsch, H. Wang, and S. McCloskey A relation-algebraic approach to the region connection calculus Theoretical Computer Science 255 2001 63 83
10. M.J. Egenhofer Reasoning about binary topological relations O. Günther H.-J. Schek Advances in Spatial Databases LNCS 525 1991 Springer New York 143 160
11. M.J. Egenhofer, J. Herring, Categorizing topological relationships between regions, lines, and points in geographic database, Technical Report, Department of Surveying Engineering, University of Maine, 1991.
12. M.J. Egenhofer, J. Sharma, Topological consistency, in: Fifth International Symposium on Spatial Data Handling, Charleston, SC.
13. N.M. Gotts, An axiomatic approach to spatial information systems, Research Report 96.25, University of Leeds, School of Computer Studies, 1996.
14. B. Jónsson Varieties of relation algebras Algebra Universalis 15 1982 273 298
15. G. Kalmbach Orthomodular Lattices 1983. Academic Press London
16. S. Li, and M. Ying Region Connection Calculus: Its models and composition table Artificial Intelligence 145 2003 121 145
17. S. Li, and M. Ying Extensionality of the RCC8 composition table Fundamenta Informaticae 55 2003 363 385
18. Y. Li, S. Li, M. Ying, Relational reasoning in the Region Connection Calculus. Preprint, 2003, Available from: < http://arxiv.org/abs/cs/ 0505041>.
19. D.A. Randell, A.G. Cohn, and Z. Cui Computing transitivity tables: A challenge for automated theorem provers Proceedings CADE 11 1992. Springer-Verlag Berlin
20. D.A. Randell, Z. Cui, and A.G. Cohn A spatial logic based on regions and connection B. Nebel W. Swartout C. Rich Proceedings of the 3rd International Conf Knowledge Representation and Reasoning 1992 Morgan Kaufmann Los Allos, CA 165 176
21. T.R. Smith, and K.K. Park Algebraic approach to spatial reasoning International Journal of Geographical Information Systems 6 1992 177 192
22. J.G. Stell Boolean connection algebras: A new approach to the Region-Connection Calculus Artificial Intelligence 122 2000 111 136
23. J.G. Stell Part and complement: Fundamental concepts in spatial relations Annals of Mathematics and Artificial Intelligence 41 2004 1 17