Model Change for Description Logic Concepts
Ana Ozaki, University of Oslo
The field of Belief Change studies how an agent updates its beliefs in the presence of new information. In this work, we consider the case where beliefs are represented as description logic concepts and the new information is in the format of 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.