Bounded Fitting for Expressive Description Logics
Bounded Fitting for Expressive Description Logics
Maurice Funk, Jean Christoph Jung, Tom Voellmer
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence
Main Track. Pages 3855-3863.
https://doi.org/10.24963/ijcai.2026/429
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.
Keywords:
Knowledge Representation and Reasoning: Description logics and ontologies
Knowledge Representation and Reasoning: Learning and reasoning
Machine Learning: Learning theory
Machine Learning: Supervised Learning
