An existential class expression DataSomeValuesFrom ( DPE DR ) contains all those individuals that are connected by DPE to literal lt, such that lt is in DR
A complement data range DataComplementOf( DR ) contains all tuples of literals that are not contained in the data range DR.
A class expression of the form DataAllValuesFrom( DPE DR ) can be seen as a syntactic shortcut for the class expression DataMaxCardinality( 0 DPE DataComplementOf( DR ) ).
See https://github.com/dice-group/Ontolearn/issues/150
Found by @LukasBluebaum