本文介绍空间推理的形式化系统RCC及其模型,和空间语义研究如何由关系代数演变成布尔连接代数。固态区域及区域中空洞的形式刻画是空间推理中的关键技术之一。本文介绍了“洞”的形式化定义,并讨论了关于内部连通性及“洞”的性质；给出区域内新连接固体、内部间隙、绝对稠密固体区域的形式化定义；我们在Duntsch工作的基础上,获得了一些新的创新点：(1)深入讨论具有连通性的“洞”与实体的关系：如一维空间里的实体是不会有洞的,而二维是可能有的,比如环形区域。(2)证明Bχ,Bφ,Bω是“疏松”的,有连通区域,但连通区域几乎处处是空洞,不含绝对稠密的固态区域。(3)构造了一个特殊的RCC空间模型,这个模型与Duntsch的模型是完全不同的,它是以完全不相交的半开区间为出发点构造出来的,并且这个空间的个体都是“绝对稠密”的固体(类似于宇宙中的黑洞)。这些成果,在空间推理的语义研究中加深了我们对固体空隙、空洞的语义化了解,有一定的科学意义。