The representation and judgment of binary topological relations between regions and lines in three dimensional space | IEEE Conference Publication | IEEE Xplore