Embedding defaults into terminological knowledge representation formalisms - Baader, Franz 1959-; Hollunder, Bernhard (1993)