Enviar aquest missatge de text: Top−k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web