TY  - RPRT
TI  - SAT-Based Bounded Fitting for the Description Logic ALC
AU  - Maurice Funk
AU  - Jean Christoph Jung
AU  - Tom Voellmer
PY  - 2025
UR  - https://arxiv.org/abs/2507.21752
ID  - 2507.21752
ER  -