The Dempster-Shafer theory of evidence (here, DS theory, for brevity), sometimes called evidential reasoning (cf. Lowrance et al. [Lowrance et al., 1981]) or belief function theory, is a mechanism formalised by Shafer ([Shafer, 1976]) for representing and reasoning with uncertain, imprecise and incomplete information. It is based on Dempster’s original work ([Dempster, 1967]) on the modelling of uncertainty in terms of upper and lower probabilities that are induced by a multivalued mapping rather than as a single probability value.