この資料をSMS送信: Top−k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web