A new semantics for overriding in description logics