Unique name assumption

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

The unique name assumption is a simplifying assumption made in some ontology languages and description logics. In logics with the unique name assumption, different names always refer to different entities in the world.[1]

The standard ontology language OWL does not make this assumption, but provides explicit constructs to express whether two names denote the same or distinct entities.[2][3]

  • owl:sameAs is the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to the same individual or entity.
  • owl:differentFrom is the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to different individuals or entities.

See also

References

  1. ^ Russell, Stuart; Norvig, Peter (2003) [1995]. Artificial Intelligence: A Modern Approach (2nd ed.). Prentice Hall. p. 333. ISBN 978-0137903955.
  2. ^ Tao, Jiao; Sirin, Evren; Bao, Jie; McGuinness, Deborah L. (2010). Integrity constraints in OWL. Proc. AAAI.
  3. ^ OWL Web Ontology Language Reference
Retrieved from "https://en.wikipedia.org/w/index.php?title=Unique_name_assumption&oldid=808610552"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Unique_name_assumption
This page is based on the copyrighted Wikipedia article "Unique name assumption"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA