Model change for description logic concepts
Abstract
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-bottom and ALC description logic concepts and on the compatibility of revision for ALC concepts.
Fields of Study & Subjects
Logic
Reasoning
and Knowledge
Semantic Web and Ontologies
Advanced Algebra and Logic
Publication details
- Journal / source
- ORCA Online Research @Cardiff (Cardiff University)
- Publication date
- 14 March 2026
- Language
- EN