abstract:The Unique Name Assumption (UNA) is a concept from ontology languages and description logics. In logics with the unique name assumption, different names always refer to different entities in the world.
Thisbringsupan important point. OWLdoesnot have a uniquenameassumption. Just becausetwonames are different does notmean they refer to different individuals.