because there are no
comprehension principles
for such looping descriptions.
It is precisely the lack of such comprehension principles that prevent the
formation of paradoxes in OWL DL while still retaining natural entailments.

In OWL DL one can repair missing
localizations
in any separated-syntax KB
by adding a particular set of localizing assertions consisting of all
triples of the form