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

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed

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) 


Share this with someone who'll enjoy it:

   Access Paper Source



Share this with someone who'll enjoy it: