Unique name assumption
From Wikipedia, the free encyclopedia
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.
See also
- Closed World Assumption
- Coreference
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 article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.