Badie, Farshad. 2019. “Towards Contingent World Descriptions in Description Logics”. Logic and Logical Philosophy 29 (1):115-41. https://doi.org/10.12775/LLP.2019.016.