Mereotopology: a theory of parts and boundaries
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Space, time, matter and things
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Formalising bio-spatial knowledge
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Mereotopological reasoning about parts and (w)holes in bio-ontologies
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
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
Biomedical ontologies: what part-of is and isn't
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
A formal theory for spatial representation and reasoning in biomedical ontologies
Artificial Intelligence in Medicine
Anatomical information science
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Spatial relations between classes of individuals
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Applied Ontology
Hi-index | 0.00 |
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities that may coincide without overlapping. Some examples are: cavities and invading particles, passageways and valves, geographic regions and tropical storms. The purpose of this paper is to develop a formal theory of spatial relations for domains that include coincident entities. The core of the theory is a clear distinction between mereotopological relations, such as parthood and connection, and relative location relations, such as coincidence. To guide the development of the formal theory, I construct mathematical models in which nontrivial relative location relations are defined.