{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T04:54:37Z","timestamp":1767675277650,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3233\/978-1-61499-660-6-53","type":"book-chapter","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:27:05Z","timestamp":1740133625000},"source":"Crossref","is-referenced-by-count":2,"title":["Towards an Ontology of Space for GFO"],"prefix":"10.3233","author":[{"family":"Baumann Ringo","sequence":"additional","affiliation":[]},{"family":"Loebe Frank","sequence":"additional","affiliation":[]},{"family":"Herre Heinrich","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Formal Ontology in Information Systems"],"original-title":[],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:02:10Z","timestamp":1740135730000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISBN&isbn=978-1-61499-659-0&spage=53&doi=10.3233\/978-1-61499-660-6-53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-660-6-53","relation":{},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2016]]}}}