TY  - RPRT
TI  - Minimal Model Reasoning in Description Logics: Don't Try This at Home!
AU  - Federica Di Stefano
AU  - Quentin Manière
AU  - Magdalena Ortiz
AU  - Mantas Šimkus
PY  - 2025
UR  - https://arxiv.org/abs/2508.05350
ID  - 2508.05350
ER  -