Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma. Tableau reasoning for description logics and its extension to probabilities. Annals of Mathematics and Artificial Intelligence, 82(1-3):101-130, 2018. [doi]
Abstract is missing.