---
title: "Bounded Fitting for Expressive Description Logics"
authors:
  - "Maurice Funk"
  - "Jean Christoph Jung"
  - "Tom Voellmer"
doi: "10.24963/ijcai.2026/429"
url: "https://ijcai.org/proceedings/2026/429"
pdf: "https://ijcai.org/proceedings/2026/0429.pdf"
venue: "Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence"
year: 2026
pages: "3855-3863"
track: "Main Track"
keywords:
  - "Machine Learning: Supervised Learning"
  - "Machine Learning: Learning theory"
  - "Knowledge Representation and Reasoning: Learning and reasoning"
  - "Knowledge Representation and Reasoning: Description logics and ontologies"
---

# Bounded Fitting for Expressive Description Logics

Maurice Funk, Jean Christoph Jung, Tom Voellmer

*Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence*, pages 3855-3863. DOI: [10.24963/ijcai.2026/429](https://doi.org/10.24963/ijcai.2026/429)

## 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.