空间关系符号表示及其推理

• Symbols Used for Representing Spatial Relationship and Its Reasoning