ZESE, et al.. Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. Cambridge University Press (CUP), Jan. 2019, doi:10.1017/s1471068418000480.