Model Change for Description Logic Concepts

Ana Ozaki; Jandson S Ribeiro

AAAI 2026technical0 citations

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.

BibTeX

@inproceedings{aaai2026_modelchangeforde,
  title = {Model Change for Description Logic Concepts},
  author = {Ana Ozaki and Jandson S Ribeiro},
  booktitle = {AAAI 2026},
  year = {2026}
}