F. Badie, “Towards Contingent World Descriptions in Description Logics”, LLP, vol. 29, no. 1, pp. 115–141, Jun. 2019.