# Model Change for Description Logic Concepts

arXiv: https://arxiv.org/abs/2603.05562 · HTML: https://mlsanity.com/paper/2603.05562/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 3 of its 34 references that are in the map.
- First posted on arXiv 5 Mar 2026.

## Builds on (most cited first, 3 of 3)

- [Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies](https://mlsanity.com/paper/2105.08326/) (2021)
- [Finite Based Contraction and Expansion via Models](https://mlsanity.com/paper/2303.03034/) (2023)
- [On the Power and Limitations of Examples for Description Logic Concepts](https://mlsanity.com/paper/2412.17345/) (2024)

## Abstract (arXiv)

We consider the problem of modifying a description logic concept in light of models represented as pointed interpretations. We call this setting model change, and distinguish three main kinds of changes: eviction, which consists of only removing models; reception, which incorporates models; and revision, which combines removal with incorporation of models in a single operation. We introduce a formal notion of revision and argue that it does not reduce to a simple combination of eviction and reception, contrary to intuition. We provide positive and negative results on the compatibility of eviction and reception for EL and ALC description logic concepts and on the compatibility of revision for ALC concepts.