Description Logic, Theory Combination, and All That