Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach

Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi. Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. TPLP, 19(3):449-476, 2019. [doi]

Abstract

Abstract is missing.