Federica Di Stefano 0001, Quentin Manière, Magdalena Ortiz 0001, Mantas Simkus. Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract). In Lidia Tendera, Yazmín Ibáñez García, Patrick Koopmann, editors, Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025. Volume 4091 of CEUR Workshop Proceedings, CEUR-WS.org, 2025. [doi]
Abstract is missing.