and contraction in description logics. We devise suitable definitions of the problem, and
prove some simple complexity results. … Hence, if we want to use abduction to highlight
most promising counteroffers, "minimal" hypotheses must be defined. In the following
definition, we denote with L- the subsumption relation between concepts wrt a TBox T. …