A CLIPS-based implementation for querying binary spatial relationships | IEEE Conference Publication | IEEE Xplore