@misc{misc2bda2786,
title   = {Tractable probabilistic description logic: algorithms and implementation},
author = {Lopes, Andrew Ijano and Finger, Marcelo},
year = {2020}
}