Embedding defaults into terminological knowledge representation formalisms - Baader, Franz 1959-; Hollunder, Bernhard (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern>: Research report, 1993)