A Preference Semantics for Defaults in Terminological Logics