Formale semantische Modellierung von geomorphologischen Objekten und Prozessen des Hochgebirges zur Repräsentation in einem Geoinformationssystem (GIS)