Badie, F. (2019). Towards Contingent World Descriptions in Description Logics. Logic and Logical Philosophy, 29(1), 115–141. https://doi.org/10.12775/LLP.2019.016