How Description Logics can be used in order to identify so-called polarity conflicts is described in Klenner (2015).
the relations between the referents and again, the factuality of situations are not part of this model.