A formal theory for reasoning about parthood, connection, and location

Authors:
Maureen Donnelly
Affiliations:
Institute for Formal Ontology and Medical Information Science, Saarland University, Saarbrücken, Germany
Venue:
Artificial Intelligence
Year:
2004

Citing 5
Cited 2

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

Relative places

Applied Ontology
Logical properties of foundational mereogeometrical relations in bio-ontologies

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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, 1 construct mathematical models in which nontrivial relative location relations are defined.