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
A formal theory for reasoning about parthood, connection, and location
Artificial Intelligence
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
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Semantic categories underlying the meaning of 'place'
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
A Multi-INT Semantic Reasoning Framework for Intelligence Analysis Support
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Making sense of design patterns
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Towards a formalization of social spaces for socially aware robots
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Spatial relations between classes of individuals
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
GIScience'06 Proceedings of the 4th international conference on Geographic Information Science
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.