5
Some families, such as DL-Lite family, assume the unique name assumption.