Case-based formalization of knowledge on digital terrain analysis