Model Change for Description Logic Concepts

TL;DR

This paper explores methods for modifying description logic concepts based on model changes, introducing formal notions of revision and analyzing their compatibility within different logic frameworks.

Contribution

It introduces a formal notion of revision for description logic concepts and analyzes its compatibility with eviction and reception operations in EL and ALC.

Findings

Revision does not simply combine eviction and reception.

Compatibility results for eviction and reception in EL and ALC.

Positive and negative results on model change operations.

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 and ALC description logic concepts and on the compatibility of revision for ALC concepts.