通过弱化公理修复描述逻辑本体

在描述逻辑本体O中移除不期望推论$\alpha$的经典修复方法是从O中删除最少数量的公理，使得所得本体O'不具有推论$\alpha$。然而，公理的完全删除可能过于粗略，因为它也可能移除实际想要的推论。为缓解此问题，我们提出一种更温和的修复方式，其中公理不一定被删除，而仅被弱化。一方面，我们研究这种温和修复方法的一般性质。另一方面，我们提出并分析了用于弱化以描述逻辑EL表达的公理的具体方法。