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. 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).
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.
|This logic-related article is a stub. You can help Wikipedia by expanding it.|