Paper Info
Title
Towards an Ontology of Space for GFO.
Abstract
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. The theory is based on four primitives: the category of space regions, the relations of being a spatial part and being a spatial boundary, as well as the relation of spatial coincidence. The presence of boundaries and the notion of coincidence witness an inspiration of the ontology by well-motivated ideas of Franz Brentano on space, time and the continuum. Taking up a line of prior investigations of his approach, the present work contributes a further step in establishing a corresponding ontology of space, employing rigorous logical methods.
Year
DOI
Venue
2016
10.3233/978-1-61499-660-6-53
Frontiers in Artificial Intelligence and Applications
Keywords
Field
DocType
top-level ontology,theory of space,theory of boundaries
Ontology,Information retrieval,Computer science,Knowledge management
Conference
Volume
ISSN
Citations 
283
0922-6389
0
PageRank 
References 
Authors
0.34
7
3
Name
Order
Citations
PageRank
Ringo Baumann122620.39
Frank Loebe223717.93
Heinrich Herre352759.57