{"title":"Towards an Ontology of Space for GFO","authors":"Ringo Baumann, F. Loebe, H. Herre","doi":"10.3233/978-1-61499-660-6-53","DOIUrl":null,"url":null,"abstract":"Space and time are basic categories of any top-level ontology . They account for fundamental assumptions of the modes of existence of t hose individuals that are said to be in space and time. The present paper is devot e to GFO-Space, the ontology of space in the General Formal Ontology (GFO). Th is ontology is introduced by a set of axioms formalized in first-order logic and f urther elucidated by consequences of the axiomatization. The theory is based on four primitives: the category of space r egions, 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 n otion of coincidence witness an inspiration of the ontology by well-motivated ide as of Franz Brentano on space, time and the continuum. Taking up a line of prior inves tigations of his approach, the present work contributes a further step in estab li hing a corresponding ontology of space, employing rigorous logical methods.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"48 1","pages":"53-66"},"PeriodicalIF":0.0000,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3233/978-1-61499-660-6-53","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 12
Abstract
Space and time are basic categories of any top-level ontology . They account for fundamental assumptions of the modes of existence of t hose individuals that are said to be in space and time. The present paper is devot e to GFO-Space, the ontology of space in the General Formal Ontology (GFO). Th is ontology is introduced by a set of axioms formalized in first-order logic and f urther elucidated by consequences of the axiomatization. The theory is based on four primitives: the category of space r egions, 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 n otion of coincidence witness an inspiration of the ontology by well-motivated ide as of Franz Brentano on space, time and the continuum. Taking up a line of prior inves tigations of his approach, the present work contributes a further step in estab li hing a corresponding ontology of space, employing rigorous logical methods.