Concept logics with function symbols - Bürckert, Hans-Jürgen; Hollunder, Bernhard; Laux, Armin (1993)