Maurice Funk, Jean Christoph Jung, Tom Voellmer. SAT-Based Bounded Fitting for the Description Logic ALC (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.