Sochański, M.; Wałęga, P. A.; Zawidzki, M. Description Logics With Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction. AAAI 2026, 40, 19371-19379.