Geo-information and formal semantics for disaster management door