For $i=1,\ldots,|\mathcal{K}|$ define $\mathsf{MI}^{(i)}(\mathcal{K})=\{M\in\mathsf{MI}(\mathcal{K})\mid |M|=i\}$ and $\mathsf{CN}^{(i)}(\mathcal{K})=\{C\subseteq\mathcal{K}\mid |C|=i \wedge C\not\models\perp\}$. Furthermore define $R_i(\mathcal{K})=0$ if $|\mathsf{MI}^{(i)}(\mathcal{K})|+|\mathsf{CN}^{(i)}(\mathcal{K})|=0$ and otherwise $R_i(\mathcal{K})=|\mathsf{MI}^{(i)}(\mathcal{K})|/(|\mathsf{MI}^{(i)}(\mathcal{K})|+|\mathsf{CN}^{(i)}(\mathcal{K})|)$. Consider finally the function $f:\mathbb{R}^{|\mathcal{K}|}\rightarrow \mathbb{R}$ defined via $f(x_1,\ldots,x_{|\mathcal{K}|})=1-\Pi_{i=1}^{|\mathcal{K}|}(1-x_i/i)$. The Df inconsistency measure $\mathcal{I}_{D_f}$ is then defined as
\[
\mathcal{I}_{D_f}(\mathcal{K}) = f(R_1(\mathcal{K}),\ldots,R_{|\mathcal{K}|}(\mathcal{K}))
\]
The Df inconsistency measure has been proposed in [Mu:2011]. Note that also other instantiations for $f$ are considered in [Mu:2011].