OWLObjectSomeValuesFrom(OWLDataComplementOf implementation in ClosedWorldReasoner wrong

[SimonBin]

See https://github.com/dice-group/Ontolearn/issues/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