Unique name assumption
From Wikipedia, the free encyclopedia
 |
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (January 2008) |
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[1]. The ontology language OWL does not make this assumption, but provides explicit constructs to express whether two names denote the same or distinct entities[2].
owl:sameAsis the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to the same individual or entity.owl:differentFromis the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to different individuals or entities.
[edit] See also
[edit] References
- ^ Stuart J. Russell and Peter Norvig, Artificial Intelligence: A Modern Approach, Second Edition, Prentice Hall, Upper Saddle River, New Jersey, 2003, page 333
- ^ OWL Web Ontology Language Reference
 |
This logic-related article is a stub. You can help Wikipedia by expanding it. |
