It’s been over 8 years since I was involved in anything that used GIS, but I do recall that back then the GIS community was making a really big push into indoor GIS. A quick Google search turned up plenty of results so I’m guessing the community didn’t give up. I can’t remember details, unfortunately, but there were open format specifications for buildings and built spaces and things like that.