Knowledge formalization for Earth Science informed decision-making: The GEOEssential Knowledge Base