Probabilistic description logics: Reasoning and learning