Assunzione di unicità del nome
L'assunzione di unicità del nome (in inglese abbreviato UNA, Unique Name Assumption) è un'assunzione semplificativa che viene fatta durante la definizione di alcuni linguaggi per ontologie e logiche descrittive. Nelle logiche in cui vale questa assunzione, nomi diversi fanno sempre riferimento ad entità differenti del mondo.
Applicazioni
[modifica | modifica wikitesto]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 ontologie con nome differente; per cui la UNA generalmente non è assunta.[1]
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.[2][3] 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.[2][4]
Esempi e implicazioni
[modifica | modifica wikitesto]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 maiale è di colore rosa" non dice nulla sul colore del 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 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
[modifica | modifica wikitesto]In OWL (Web Ontology Language), la cui semantica è basata sulle logiche descrittive,[1] 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[5][6]:
owl:sameAsowl:differentFrom
Sebbene l'uso di owl:sameAs sia generalmente da incentivare al fine di garantire una stretta interconnessione fra diverse 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.[7]
Fra gli altri problemi nell'uso di owl:sameAs, rientra il fatto che non è una proprietà 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à, a:foo e b:bar, per asserire la loro equivalenza è necessario dichiarare:[8]
asserts "a:foo owl:sameAs b:bar"nell'ontologiaa;asserts "b:bar owl:sameAs a:foo"nell'ontologiab.
Note
[modifica | modifica wikitesto]- ^ a b (EN) Jiao Tao, Adding Integrity Constraints to the Semantic Web for Instance Data Evaluation, The Semantic Web (ISWC), Berlino, Springer Berlin Heidelberg, 2010, pp. 330-337, DOI:10.1007/978-3-642-17749-1_24, ISBN 978-3-642-17749-1.
- ^ a b (EN) Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro e Riccardo Rosati, Ontologies and Databases: The DL-Lite Approach, in Reasoning Web. Semantic Technologies for Information Systems, LNCS, vol. 5689, Berlino, Springer Berlin Heidelberg, 2009, pp. 255-356, DOI:10.1007/978-3-642-03754-2_7, ISBN 978-3-642-03754-2.
- ^ (EN) Alessandro Artale, Diego Calvanese, Roman Kontchakov e Michael Zakharyaschev, The DL-Lite Family and Relations, in Journal of Artificial Intelligence Research (JAIR), vol. 36, 2009, pp. 1-69, DOI:10.1613/jair.2820.
- ^ (EN) OWL 2 Web Ontology Language Profile - OWL 2 QL, su w3.org. URL consultato l'8 febbraio 2021.
- ^ (EN) OWL Web Ontology Language Reference - SameAs definition, su w3.org. URL consultato il 15 agosto 2018.
- ^ (EN) OWL Web Ontology Language Reference - DifferentFrom definition, su w3.org. URL consultato il 15 agosto 2018.
- ^ (EN) Harry Halpin, Patrick J. Hayes e Henry S. Thompson, When owl: sameAs isn't the Same Redux: Towards a Theory of Identity, Context, and Inference on the Semantic Web, Modeling and Using Context - 9th International and Interdisciplinary Conference, Lecture Notes in Computer Science, vol. 9405, Springer, 2015, pp. 47-60, DOI:10.1007/978-3-319-25591-0\_4.
- ^ (EN) Li Ding, Joshua Shinavier, Tim Finin e Deborah L. McGuinness, owl:sameAs and Linked Data: An Empirical Study, Atti della 2ª Web Science ACM Conference, Raleigh NC, USA, Association for Computing Machinery, 26-27 aprile 2010.
