Enhancing digital maps to support reasoning on traffic sign compliance | IEEE Conference Publication | IEEE Xplore