In this talk I will present ongoing work on concept contraction in the description logic EL. The aim of this work is to model concept change (how does a concept change due to new input?) as a reformulation of the well known AGM contraction model. We discuss an explicit construction of a concept contraction operator, as well as a set of postulates for such an operator. We then present a representation theorem, which shows that these two definitions are equivalent.
06.12.2018 - 10:15