Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web