How to prefer more specific defaults in terminological default logic - Baader, Franz 1959-; Hollunder, Bernhard (1992)