Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)

Rafael Peñaloza, Nico Potyka

We present a probabilistic extension of the description logic $\mathcal{A}\mathcal{LC}$ for reasoning about statistical knowledge. We consider conditional statements over proportions of the…