Ontology-Mediated Probabilistic Model Checking (Extended Version)