OWLObjectSomeValuesFrom(OWLDataComplementOf implementation in ClosedWorldReasoner wrong #90
Description
- 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