An Algorithm for Adapting Cases Represented in an Expressive Description Logic