The algebraic structure of sets of regions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1329, Issue , 1997, Pages 163-174

  Stell, J G ^a   Worboys, M F ^a  

^a KEELE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; INFORMATION THEORY; ONTOLOGY;

ALGEBRAIC OPERATIONS; ALGEBRAIC STRUCTURES; ALGEBRAIC THEORIES; INDETERMINATE BOUNDARIES; REGION CONNECTION CALCULUS; SPATIAL ENTITIES; SPATIAL INFORMATIONS; THEORY OF REGIONS;

ALGEBRA;

EID: 84948968563     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63623-4_49     Document Type: Conference Paper

References (17)

1. P. A. Burrough and A. U. Prank, editors. Geographic Objects with Indeterminate Boundaries, volume 2 of GISDATA Series. Taylor and Francis, 1996.
2. E. Clementini and P. di Felici. An algebraic model for spatial objects with indeterminate boundaries. In Burrough and Frank [BF96], pages 155-169.
3. A. G. Cohn and N. M. Gotts. The ‘egg-yolk’ representation of regions with indeterminate boundaries. In Burrough and Frank [BF96], pages 171-187.
4. B. L. Clarke. A calculus of individuals based on ‘connection’. Notre Dame Journal of Formal Logic, 22:204-218, 1981.
5. R. Franzosa and M. J. Egenhofer. Point-set topological spatial relations. International Journal of Geographical Information Systems, 5:161-174, 1991.
6. R. Franzosa and M. J. Egenhofer. On the equivalence of topological relations. International Journal of Geographical Information Systems, 9:133-152, 1995.
7. N. M. Gotts, J. M. Gooday, and A. G. Cohn. A connection based approach to common-sense topological description and reasoning. The Monist, 79:51-75, 1996.
8. N. M. Gotts. An axiomatic approach to topology for spatial information systems. Research Report 96. 25, University of Leeds, School of Computer Studies, 1996.
9. P. T. Johnstone. Stone Spaces. Cambridge University Press, 1982.
10. M. Johnson. The Body in the Mind: The Bodily Basis of Meaning, Imagination and Reason. University of Chicago Press, 1987.
11. F. W. Lawvere. Introduction. In F. W. Lawvere and S. H. Schanuel, editors, Categories in Continuum Physics, volume 1174 of Lecture Notes in Mathematics, pages 1-16. Springer-Verlag, 1986.
12. F. W. Lawvere. Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes. In A. Carboni et al, editors, Category Theory, Proceedings, Como 1990, volume 1488 of Lecture Notes in Mathematics, pages 279-281. Springer-Verlag, 1991.
13. F. Magnan and G. E. Reyes. Category theory as a conceptual tool in the study of cognition. In J. Macnamara and G. E. Reyes, editors, The Logical Foundations of Cognition, chapter 5, pages 57-90. Oxford University Press, 1994.
14. G. E. Reyes and H. Zolfaghari. Bi-Heyting algebras, toposes and modalities. Journal of Philosophical Logic, 25:25-43, 1996.
15. B. Smith. Mereotopology - A theory of parts and boundaries. Data and Knowledge Engineering, 20:287-303, 1996.
16. J. G. Stell. A lattice theoretic account of spatial regions. Technical report, Keele University, Department of Computer Science, 1997.
17. S. Vickers. Topology via Logic. Cambridge University Press, 1989.