Algorithm for Adapting Cases Represented in a Tractable Description Logic | Read Paper on Bytez