Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of undesired behaviours. As in Belief Change, these issues are often specified using logical formulae. Instead, in the new setting for updating DL ontologies that we propose here, the input for the change is given by a model which we want to add or remove. The main goal is to minimise the loss of information, without concerning with the syntactic structure. This new setting is motivated by scenarios where an ontology is built automatically and needs to be refined or updated. In such situations, the syntactical form is often irrelevant and the incoming information is not necessarily given as a formula. We define general operations and conditions on which they are applicable, and instantiate our approach to the case of ALC-formulae.

翻译：修补描述逻辑(DL)肿瘤学的多数方法旨在尽可能少地改变轴心,同时解决不一致、不一致和其他类型不可取的行为。正如信仰变化一样,这些问题往往使用逻辑公式来说明。相反,在我们在此提议的更新DL肿瘤学的新环境里,变化的投入是由我们想要增加或删除的模型提供的。主要目标是尽可能减少信息损失,而不必与合成结构挂钩。这种新环境的动因是本体学的自动构建,需要加以改进或更新。在这种情况下,综合学形式往往无关紧要,收到的信息不一定作为公式提供。我们界定了适用它们的一般操作和条件,并立即说明我们对ALC-公式案采取的办法。