Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)
Artificial Intelligence
2017-06-13 v1 Logic in Computer Science
Abstract
We present a probabilistic extension of the description logic 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 .
Cite
@article{arxiv.1706.03207,
title = {Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)},
author = {Rafael Peñaloza and Nico Potyka},
journal= {arXiv preprint arXiv:1706.03207},
year = {2017}
}
Comments
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)