Towards an Ontology of Space for GFO
Ringo Baumann, Frank Loebe, Heinrich Herre · Frontiers in artificial intelligence and applications · 2016
Space and time are basic categories of any top-level ontology. They account for fundamental assumptions of the modes of existence of those individuals that are said to be in space and time. The present paper is devoted to GFO-Space, the ontology of space in the General Formal Ontology (GFO). This ontology is introduced by a set of axioms formalized in first-order logic and further elucidated by consequences of the axiomatization.