@article{probabilisticdlreasoningwithpinpointing,
  title = {Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach},
  author = {Riccardo Zese and Giuseppe Cota and Evelina Lamma and Elena Bellodi and Fabrizio Riguzzi},
  year = {2018},
  eprint = {1809.06180},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1809.06180v3},
}