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