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 that two names denote distinct entities. * owl:sameAs is the OWL property that states that two given named individuals have the same identity. * owl:differentFrom is the OWL property that states that two given named individuals have different identities.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.