Abstract | ||
---|---|---|
Formal methods for the description of spatial relations can be based on mathematical theories of order. Subdivisions of land are represented as partially ordered sets (posets), a model that is general enough to answer spatial queries about inclusion and containment of spatial areas. After a brief introduction to the basic concepts of posets and lattices, their applications to modelling spatial relations and operations for spatial regions in terms of containment and overlay are presented. An interpretation is given for new geographical elements that are created by the completion from a poset to a lattice. It is shown that a novel approach to characterize certain topological relations based on a lattice of a simplicial complex is a model for spatial regions that combines both topological and order relations and allows spatial queries to be answered in a unified way. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1080/02693799308901953 | INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SYSTEMS |
Keywords | Field | DocType |
formal method,spatial relation,partially ordered set | Spatial relation,Data mining,Discrete mathematics,Lattice (order),Computer science,Theoretical computer science,Simplicial complex,Subdivision,Formal methods,Overlay,Partially ordered set | Journal |
Volume | Issue | ISSN |
7 | 3 | 0269-3798 |
Citations | PageRank | References |
42 | 5.67 | 2 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wolfgang Kainz | 1 | 150 | 18.79 |
Max J. Egenhofer | 2 | 4293 | 503.82 |
Ian Greasley | 3 | 42 | 5.67 |