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.
| Property | Value |
|---|
| dbpprop: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. 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.
|
| rdfs:comment
|
- 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.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
