Assunzione di unicità del nome
L''''assunzione di unicità del nome''' (in [[Lingua inglese|inglese]] abbreviato '''UNA''', ''Unique Name Assumption'') è un'assunzione semplificativa che viene fatta durante la definizione di alcuni linguaggi per [[Ontologia (informatica)|ontologie]] e [[Logica descrittiva|logiche descrittive]]. Nelle logiche in cui vale questa assunzione, nomi diversi fanno sempre riferimento ad entità differenti del mondo.

== Applicazioni ==
Nell'ambito dei sistemi logico formali di [[rappresentazione della conoscenza]], l'assunzione di unicità del nome è conseguenza dell'[[assunzione del mondo chiuso]], mentre non è generalmente valida secondo l'[[assunzione del mondo aperto]]. In scenari come quello del [[Web semantico]], ad esempio, lo stesso concetto può essere presente in diverse [[Ontologia (informatica)|ontologie]] con nome differente; per cui la UNA generalmente non è assunta.<ref name="TaoJiao">{{cita conferenza|lingua=en|doi=10.1007/978-3-642-17749-1_24|autore=Jiao Tao|titolo=Adding Integrity Constraints to the Semantic Web for Instance Data Evaluation|conferenza=The Semantic Web (ISWC)|anno=2010|editore=Springer Berlin Heidelberg|città=Berlino|pagine=330-337|isbn=978-3-642-17749-1}}</ref>

In casi più specifici, tuttavia, anche stante l'assunzione di assunzione del mondo aperto, la UNA può rendersi necessaria per garantire importanti proprietà computazionali. È il caso, ad esempio, di molti linguaggi della famiglia [[DL-Lite]].<ref name="dllite-approach">{{cita libro|lingua=en|autore1=Diego Calvanese|autore2=Giuseppe De Giacomo|autore3=Domenico Lembo|autore4=Maurizio Lenzerini|autore5=Antonella Poggi|autore6=Mariano Rodriguez-Muro|autore7=Riccardo Rosati|titolo=Ontologies and Databases: The DL-Lite Approach|opera=Reasoning Web. Semantic Technologies for Information Systems|anno=2009|editore=Springer Berlin Heidelberg|città=Berlino|pagine=255-356|isbn=978-3-642-03754-2|serie=LNCS, vol. 5689|doi=10.1007/978-3-642-03754-2_7}}</ref><ref>{{cita pubblicazione|lingua=en|autore1=Alessandro Artale|autore2=Diego Calvanese|autore3=Roman Kontchakov|autore4=Michael Zakharyaschev|titolo=The DL-Lite Family and Relations|rivista=Journal of Artificial Intelligence Research (JAIR)|volume=36|anno=2009|pagine=1-69|doi=10.1613/jair.2820}}</ref> Il profilo OWL 2 QL, per supportare l'assenza di UNA (allineandosi alla semantica standard OWL) e allo stesso tempo garantire buone proprietà computazionali, deve invece rinunciare alla funzionalità dei ruoli e degli attributi.<ref name="dllite-approach"/><ref>{{Cita web|url=https://www.w3.org/TR/owl2-profiles/#OWL_2_QL|titolo=OWL 2 Web Ontology Language Profile - OWL 2 QL|lingua=en|accesso=8 febbraio 2021}}</ref>

== Esempi e implicazioni ==
Assumere valida l'assunzione di unicità del nome vuol dire, per esempio, che:
* definito soltanto che un'entità nominata "maiale" ha una proprietà tale per cui "il [[Sus scrofa domesticus|maiale]] è di colore rosa" non dice nulla sul colore del [[Sus scrofa domesticus|suino]], nella realtà suo sinonimo, quindi alla domanda "il suino è rosa?", la risposta è ''falso,'' perché, in primo luogo, non è stata definita l'esistenza di un'entità di nome "suino" e di che colore sia, ed in secondo luogo perché non sarebbe consistente definire con un nome differente lo stesso soggetto. Non è data l'esistenza di [[Sinonimia|sinonimi]], che vanno eventualmente definiti come proprietà (nome:''Maiale'', sinonimo_1:''Suino'', sinonimo_2: ''Sus scrofa domesticus'', etc.), pur rimanendo unico il nome identificatore scelto;
* se in una lista passeggeri di un volo aereo il nome di un passeggero presentatosi al check-in non risulta nella lista, sebbene questi stia utilizzando un nome alternativo o in altra lingua ma equivalente, assumendo che la lista sia da ritenersi veritiera e completa, allora ne consegue che questi non sia da considerarsi tra i passeggeri del volo;
* in una lista passeggeri di un volo, due passeggeri non possono avere lo stesso identificativo (motivo per cui non è conveniente utilizzare soltanto nome e cognome come identificativi unici per una prenotazione aerea, dati i frequenti casi di omonimia nella realtà): non è consistente definire due o più entità con nomi diversi quando queste siano identiche.

== In OWL ==
In [[Web Ontology Language|OWL]] (Web Ontology Language), la cui semantica è basata sulle [[logiche descrittive]],<ref name="TaoJiao"/> l'assunzione di unicità del nome non è data, ma sono definiti dei costrutti espliciti che dichiarano l'identità o distinzione tra entità.

Le due dichiarazioni a seguire esprimono relativamente l'identità tra due nomi o la loro distinzione<ref>{{Cita web|url=https://www.w3.org/TR/owl-ref/#sameAs-def|titolo=OWL Web Ontology Language Reference - SameAs definition|lingua=en|accesso=15 agosto 2018}}</ref><ref>{{Cita web|url=https://www.w3.org/TR/owl-ref/#differentFrom-def|titolo=OWL Web Ontology Language Reference - DifferentFrom definition|lingua=en|accesso=15 agosto 2018}}</ref>:
* {{code|owl:sameAs}}
* {{code|owl:differentFrom}}

Sebbene l'uso di {{code|owl:sameAs}} sia generalmente da incentivare al fine di garantire una stretta interconnessione fra diverse [[Base di conoscenza|basi di conoscenza]], in letteratura ne è anche stato criticato l'abuso, in quanto la proprietà è spesso usata con significati alternativi, quali "simile a", "rappresenta", ecc.<ref>{{cita conferenza|lingua=en|autore1=Harry Halpin|autore2=Patrick J. Hayes|autore3=Henry S. Thompson|titolo=When owl: sameAs isn't the Same Redux: Towards a Theory of Identity, Context, and Inference on the Semantic Web|url=https://www.w3.org/2009/12/rdf-ws/papers/ws21|conferenza=Modeling and Using Context - 9th International and Interdisciplinary Conference|serie=Lecture Notes in Computer Science|volume=9405|pagine=47-60|editore=Springer|anno=2015|doi=10.1007/978-3-319-25591-0\_4}}</ref>

Fra gli altri problemi nell'uso di {{code|owl:sameAs}}, rientra il fatto che non è una proprietà [[Simmetria (matematica)|simmetrica]], per cui deve essere usata in entrambe le direzioni. Questo processo può risultare macchinoso quando si vuole connettere due entità appartenenti ad ontologie differenti, in quanto la scelta dev'essere condivisa dagli autori di entrambe le ontologie. Per esempio, supponendo di avere due entità, {{code|a:foo}} e {{code|b:bar}}, per asserire la loro equivalenza è necessario dichiarare:<ref>{{cita conferenza|lingua=en|autore1=Li Ding|autore2=Joshua Shinavier|autore3=Tim Finin|autore4=Deborah L. McGuinness|titolo=owl:sameAs and Linked Data: An Empirical Study|data=26-27 aprile 2010|città=Raleigh NC, USA|conferenza=Atti della 2ª ''Web Science ACM Conference''|editore=[[Association for Computing Machinery]]}}</ref>
* {{code|asserts "a:foo owl:sameAs b:bar"}} nell'ontologia {{code|a}};
* {{code|asserts "b:bar owl:sameAs a:foo"}} nell'ontologia {{code|b}}.

==Note==
<references />

==Voci correlate==
* [[Assunzione del mondo chiuso]]
* [[Assunzione del mondo aperto]]

{{portale|informatica}}

[[Categoria:Rappresentazione della conoscenza]]
[[Categoria:Ontologia (informatica)]]