Taxonomies of logically defined qualitative spatial relations
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Space, time, matter and things
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Language and Spatial Cognition
Language and Spatial Cognition
Atomicity vs. Infinite Divisibility of Space
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A formal theory for reasoning about parthood, connection, and location
Artificial Intelligence
Hi-index | 0.00 |
Newton distinguishes between absolute and relative places. Both types of places endure through time and may be occupied by various objects at various times. But unlike absolute places, each relative place stands in fixed spatial relations with one or more reference objects. Relative places with independent reference objects (e.g., a ship and the earth) may move relative to one another. Relative places, not absolute places, are used to locate objects and track their movements in common-sense reasoning and in disciplines such as biology, engineering, and geology. The purpose of this paper is to develop a formal theory for reasoning about relative places and their changing relations to both other places and to material objects.