{"type":"ScholarlyArticle","title":"Bounded Fitting for Expressive Description Logics","authors":[{"name":"Maurice Funk","slug":"maurice-funk","given":"Maurice","family":"Funk","affiliation":""},{"name":"Jean Christoph Jung","slug":"jean-christoph-jung","given":"Jean Christoph","family":"Jung","affiliation":""},{"name":"Tom Voellmer","slug":"tom-voellmer","given":"Tom","family":"Voellmer","affiliation":""}],"abstract":"Bounded fitting is an attractive paradigm for learning logical formulas from labeled data examples that offers PAC-style generalization guarantees and can often be implemented leveraging SAT solvers. It has been successfully applied to learning concepts of the description logic ALC. We study bounded fitting for learning concepts in expressive description logics that extend ALC with inverse roles, qualified number restrictions, and feature comparisons. We investigate under which conditions bounded fitting keeps its favorable theoretical properties in this setting, and implement is using a SAT solver. We compare our implementation against state-of-the-art concept learners with encouraging results, demonstrating that it is a practical approach to expressive concept learning.","doi":"10.24963/ijcai.2026/429","url":"https://ijcai.org/proceedings/2026/429","pdf":"https://ijcai.org/proceedings/2026/0429.pdf","markdown":"https://ijcai.org/proceedings/2026/429.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/429","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":429,"pages":{"first":3855,"last":3863},"keywords":["Machine Learning: Supervised Learning","Machine Learning: Learning theory","Knowledge Representation and Reasoning: Learning and reasoning","Knowledge Representation and Reasoning: Description logics and ontologies"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}