SAT-Based Bounded Fitting for the Description Logic ALC. - Maurice Funk; Jean Christoph Jung; Tom Voellmer (CoRR, 2025)