Unique name assumption

From Wikipedia, the free encyclopedia
Jump to: navigation, 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[edit]

References[edit]

  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