Enhancing digital maps to support reasoning on traffic sign compliance.