Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Qualitative Spatial Representation and Reasoning Techniques
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in 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
Extensionality of the RCC8 composition table
Fundamenta Informaticae
Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity
Image and Vision Computing
Stonian p-ortholattices: A new approach to the mereotopology RT0
Artificial Intelligence
Architecture for a grounded ontology of geographic information
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Semantic categories underlying the meaning of 'place'
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
Grounding geographic categories in the meaningful environment
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Finite relativist geometry grounded in perceptual operations
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Hi-index | 0.00 |
Region Based Geometry (RBG) is an axiomatic theory of qualitative configurations of spatial regions. It is based on Tarski's Geometry of Solids, in which the parthood relation and the concept of sphere are taken as primitive. Whereas in Tarski's theory the combination of mereological and geometrical axioms involves set theory, in RBG the interface is achieved by purely 1st-order axioms. This means that the elementary sublanguage of RBG is extremely expressive, supporting inferences involving both mereological and geometrical concepts. Categoricity of the RBG axioms is proved: all models are isomorphic to a standard interpretation in terms of Cartesian spaces over R.