Badie, F. Towards Contingent World Descriptions in Description Logics. LLP 2019, 29, 115-141.