Zaslat SMS: Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness