Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.07452 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915992199757824 |
|---|---|
| author | Funk, Maurice Jung, Jean Christoph Voellmer, Tom |
| author_facet | Funk, Maurice Jung, Jean Christoph Voellmer, Tom |
| contents | 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 it using a SAT solver. We compare our tool with state-of-the-art concept learners with encouraging results, demonstrating that it is a practical approach to expressive concept learning. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_07452 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Bounded Fitting for Expressive Description Logics Funk, Maurice Jung, Jean Christoph Voellmer, Tom Artificial Intelligence 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 it using a SAT solver. We compare our tool with state-of-the-art concept learners with encouraging results, demonstrating that it is a practical approach to expressive concept learning. |
| title | Bounded Fitting for Expressive Description Logics |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2605.07452 |