Unique name assumption

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]

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
This article is issued from Wikipedia - version of the 8/17/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.