GFO中空间的公理化基础
其他计算机科学
2011-10-27 v1
摘要
空间和时间是任何顶层本体的基本范畴。它们是那些被认为处于空间和时间中的个体存在方式的基本假设。在本文中，阐述了通用形式本体（GFO）中的空间本体。该本体被表示为理论BT（Brentano理论），由一阶逻辑形式化的一组公理所规定。该理论使用四种原始关系：SReg(x)（x是空间区域）、spart(x, y)（x是y的空间部分）、sb(x, y)（x是y的空间边界）和scoinc(x, y)（x和y空间重合）。该本体受Franz Brentano思想的启发。对Franz Brentano关于空间和时间思想的调查与探索始于约二十年前R.M. Chisholm、B. Smith和A. Varzi的工作。本文延续了这一研究路线，在建立空间本体方面迈出了进一步的一步，该本体基于严格的逻辑方法和整合实在论的新哲学方法原理。
引用
@article{arxiv.1110.5832,
title = {The Axiomatic Foundation of Space in GFO},
author = {Ringo Baumann and Heinrich Herre},
journal= {arXiv preprint arXiv:1110.5832},
year = {2011}
}
备注
36 pages, 18 figures, submitted to "Applied Ontology"