Geo-information and formal semantics for disaster management by