TY  - RPRT
TI  - Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
AU  - Riccardo Zese
AU  - Giuseppe Cota
AU  - Evelina Lamma
AU  - Elena Bellodi
AU  - Fabrizio Riguzzi
PY  - 2019
DO  - 10.1017/s1471068418000480
UR  - https://arxiv.org/abs/1809.06180
ID  - 1809.06180
ER  -