The HIP Ontology: a formal framework to support disaster risk reduction and management