Weighted Defaults in Description Logics: Formal Properties and Proof Theory. - Joachim Quantz; Sven Suska (KI, 1994)