TY  - RPRT
TI  - Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
AU  - Michał Sochański
AU  - Przemysław Andrzej Wałęga
AU  - Michał Zawidzki
PY  - 2025
UR  - https://arxiv.org/abs/2512.06604
ID  - 2512.06604
ER  -