Support of positive negation (ObjectComplementOf)