SMS dit: Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies