Semantic mapping extension for OpenStreetMap applied to indoor robot navigation | IEEE Conference Publication | IEEE Xplore