Unikalne założenie nazwy

unikalnej nazwie jest upraszczającym założeniem przyjętym w niektórych językach ontologii i logiki opisu . W logikach z założeniem nazwy unikatowej różne nazwy zawsze odnoszą się do różnych bytów na świecie. Zostało to uwzględnione w dyskusji Raya Reitera na temat założenia o zamkniętym świecie często milcząco włączone do systemów zarządzania bazami danych (np. SQL) w swoim artykule z 1984 r. „W kierunku logicznej rekonstrukcji relacyjnej teorii baz danych” (w: ML Brodie, J. Mylopoulos, JW Schmidt (red.), Data Modeling in Artificial Intelligence, Database and Programming Languages , Springer, 1984, s. 191–233).

Standardowy język ontologii OWL nie przyjmuje tego założenia, ale zapewnia jawne konstrukcje wyrażające, czy dwie nazwy oznaczają te same, czy różne byty.

• owl: sameAs jest właściwością OWL, która stwierdza, że ​​dwa imiona lub identyfikatory (np. URI) odnoszą się do tej samej osoby lub podmiotu.
• owl:differentFrom jest właściwością OWL, która zapewnia, że ​​dwa imiona lub identyfikatory (np. URI) odnoszą się do różnych osób lub podmiotów.

Zobacz też

• Założenie zamkniętego świata
• Korekcja