Unique name assumption

From Wikipedia, the free encyclopedia

 This article does not cite any references or sources. (January 2008)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.

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 that two names denote distinct entities[2].

  • owl:sameAs is the OWL property that states that two given named individuals have the same identity.
  • owl:differentFrom is the OWL property that states that two given named individuals have different identities.

[edit] See also

[edit] References

  1. ^ Stuart J. Russell and Peter Norvig, Artificial Intelligence, A Modern Approach, Second Edition, Prentis Hall, Upper Saddle River, New Jersey, 2003, page 133
  2. ^ [1] OWL Web Ontology Language Reference


\lnot(p\land\lnot p)  This logic-related article is a stub. You can help by expanding it.