Certainty in Uncertainty: Reasoning over Uncertain Knowledge Graphs with Statistical Guarantees