A Description Logic for Analogical Reasoning