Designing formal semantics of geo-information for disaster response - PhD Research Proposal