Get our free extension to see links to code for papers anywhere online!

##### Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)
Jun 10, 2017
Rafael Peñaloza, Nico Potyka

We present a probabilistic extension of the description logic $\mathcal{ALC}$ for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilistic-logical consequences of these proportions. After introducing some general reasoning problems and analyzing their properties, we present first algorithms and complexity results for reasoning in some fragments of Statistical $\mathcal{ALC}$.

* 16 pages. Extended version of "Towards Statistical Reasoning in Description Logics over Finite Domains" published at the 11th International Conference on Scalable Uncertainty Management (SUM 2017)