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]
-
owl:sameAsis the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to the same individual or entity. -
owl:differentFromis the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to different individuals or entities.
See also
References
- ↑ Russell, Stuart; Norvig, Peter (2003) [1995]. Artificial Intelligence: A Modern Approach (2nd ed.). Prentice Hall. p. 333. ISBN 978-0137903955.
- ↑ Tao, Jiao; Sirin, Evren; Bao, Jie; McGuinness, Deborah L. (2010). Integrity constraints in OWL. Proc. AAAI.
- ↑ OWL Web Ontology Language Reference