Uncertainty Reasoning for the Semantic Web I (Springer Berlin Heidelberg, 2020)