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] It was included in Ray_Reiter's discussion of the Closed-world_assumption often tacitly included in Database Management Systems (e.g. SQL) in his 1984 article "Towards a logical reconstruction of relational database theory (in M.L. Brodie, J. Mylopoulos, J. W. Schmidt (Hrsg.), Data modelling in Artificial Intelligence, Database and Programming Languages, Springer 1984, S. 191–233).

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=873298739"
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