提出描述逻辑概念的模型修改框架，区分删除、接收与修订三类操作。
Model Change for Description Logic Concepts
- 基于指派解释定义三种模型修改：移除、引入和复合修订
- 证明修订不能简单等同于移除与引入的组合，存在语义差异
- 给出EL和ALC逻辑下各类操作的相容性结果，为知识库更新提供理论支持
我们研究在指派解释表示的模型背景下对描述逻辑概念进行修改的问题。这种设置称为模型变化，主要分为三类：移除（仅删除模型）、接收（引入新模型）和修订（在单次操作中同时进行删除与引入）。本文提出修订的正式定义，并论证其无法简化为移除与接收的简单组合，与直觉相反。针对EL和ALC描述逻辑概念，我们给出了移除与接收的相容性结果，以及ALC中修订操作的相容性分析。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。