Seol mar théacs é seo: Top−k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web