OWLObjectSomeValuesFrom(OWLDataComplementOf implementation in ClosedWorldReasoner wrong

[SimonBin]

See dice-group/Ontolearn#150

• 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 ) ).

Found by @LukasBluebaum