Unique name assumption
id:
unique-name-assumption-310-10764364
title:
Unique name assumption
text:
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 in his 1984 article "Towards a logical reconstruction of relational database theory". The standard ontology language OWL does not make this assumption, b
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Unique_name_assumption
date created:
date modified:
2022-09-07T18:13:38Z
main entity:
{"identifier":"Q7886954","url":"https://www.wikidata.org/entity/Q7886954"}
image:
fields total:
13
integrity:
13