Belief Contraction in the Description Logic EL.
Zhiqiang Zhuang, Maurice Pagnucco · 2009
Abstract. In this paper, we propose a service for contracting axioms from ontologies based on the description logic EL. In particular, we devise algorithms that implement the contraction operation of the AGM theory on belief change. We first generalise the AGM contraction postulates to description logics, in which a variant of the recovery postulate is defined by using the notion of logical difference. Plausibility of the contraction operation is demonstrated by showing that it satisfies all the generalised postulates. 1