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