SpaceとTimeはトップレベルオントロジーにおける基本的なカテゴリーである．それらはspaceとtimeにあると言われるような個物の存在のmodes？についての基盤的な仮定を説明する．この原稿ではGFO-Spaceについて説明する．それは，General Formal Ontologyにおけるspaceのオントロジーである．このオントロジーは一階述語論理で形式化された公理の集合によって説明される．そして，公理化の結果によってより説明される． この理論は続く4つのprimitiveをベースとする．空間の領域，空間的な部分であるという関係，空間的な境界であるという関係，空間的な一致？(coincidence)．境界の存在と一致の考え方は，空間と時間と持続物に対するFranz Brentanoのよく動機づけられた考え方によるオントロジーの示唆を説明する．彼の方法の先行研究のラインにのって，この研究は，厳密な論理の方法を援用して，対応する空間のオントロジーを作ることの一歩前に進むことに貢献する．
2018.02.25
@inproceedings{DBLP:conf/fois/BaumannLH16,
author = {Ringo Baumann and
Frank Loebe and
Heinrich Herre},
editor = {Roberta Ferrario and
Werner Kuhn},
title = {Towards an Ontology of Space for {GFO}},
booktitle = {Formal Ontology in Information Systems - Proceedings of the 9th International
Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {283},
pages = {53--66},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-660-6-53},
doi = {10.3233/978-1-61499-660-6-53},
timestamp = {Tue, 09 Feb 2021 08:32:32 +0100},
biburl = {https://dblp.org/rec/conf/fois/BaumannLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}