High Quality Content by WIKIPEDIA articles! 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. The ontology language OWL does not make this assumption, but provides explicit constructs to express whether two names denote the same or distinct entities.