scispace - formally typeset
Open Access

Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases

TLDR
This research was partially funded by NSF grant No.
Abstract
This research was partially funded by NSF grant No. IRI-9309230 and grants from Intergraph Corporation. Additional support from NSF for the NCGIA under No. SBR-9204141 is gratefully acknowledged. Max J. Egenhofer University of Maine, National Center for Geographic Information and Analysis and Department of Surveying Engineering, Department of Computer Science, University of Maine, Orono, ME 04469-5711, max@mecan1.maine.edu

read more

Citations
More filters
Proceedings Article

A Naive Theory of Dimension for Qualitative Spatial Relations

TL;DR: It is shown that models of the INCH Calculus and the Region-Connection Calculus can be obtained from extensions of the proposed ontology.
Posted Content

Specification Patterns for Robotic Missions

TL;DR: In this paper, the authors present a catalog of 22 mission specification patterns for mobile robots, together with tooling for instantiating, composing, and compiling the patterns to create mission specifications.

Topological operators in a 3D Spatial Query Language for Building Information Models

TL;DR: The paper describes the definition and implementation of topological operators which form part of a 3D Spatial Query Language that has been developed to query Building Information Models using spatial conditions and describes a novel approach for implementing 3D topology operators based on an octree representation of the geometric objects whose topological constellation is the subject of investigation.
Journal ArticleDOI

A data model and query language for spatio-temporal decision support

TL;DR: This paper presents a data model that extends Piet, allowing tracking the history of spatial data in the GIS layers, and introduces a formal First-Order spatio-temporal query language, $\mathcal{L}_t,$ able to express spatio/temporal queries over GIS, OLAP, and trajectory data.
Journal ArticleDOI

Generating Moving Regions from Snapshots of Complex Regions

TL;DR: A novel algorithm is provided that creates a moving region between any two complex regions using approximation techniques and has worst-case time bounds of O;(n;2), but can use approximation techniques to achieve O(nlgn) in practice.
References
More filters
Book

Metaphors We Live By

TL;DR: Lakoff and Johnson as mentioned in this paper suggest that these basic metaphors not only affect the way we communicate ideas, but actually structure our perceptions and understandings from the beginning, and they offer an intriguing and surprising guide to some of the most common metaphors and what they can tell us about the human mind.
Journal ArticleDOI

Metaphors We Live by

TL;DR: Lakoff and Johnson as discussed by the authors present a very attractive book for linguists to read, which is written in a direct and accessible style; while it introduces and uses a number of new terms, for the most part it is free of jargon.
Journal Article

Maintaining knowledge about temporal intervals

James F. Allen
- 01 Mar 1991 - 
TL;DR: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
Journal ArticleDOI

Maintaining knowledge about temporal intervals

TL;DR: In this paper, an interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between time and space.
Book

The Theory of Parsing, Translation, and Compiling

TL;DR: It is the hope that the algorithms and concepts presented in this book will survive the next generation of computers and programming languages, and that at least some of them will be applicable to fields other than compiler writing.