Volume: Vol-4091 DL 2025 | Year: 2025

Paper: « paper09 | paper10 | paper12 »

SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract)

• Maurice Funk
• Jean Christoph Jung
• Tom Voellmer

PDF