Model change for description logic concepts

Read full text
Authors: Ana Ozaki, Jandson S. Ribeiro
Cited by: 0

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