發送短信: Top−k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web