この資料をSMS送信: (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL