Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy
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
Space, time, matter and things
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Extensionality of the RCC8 Composition Table
Fundamenta Informaticae
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.