Web semantico: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Errori di Lint: Tag non chiusi |
mNessun oggetto della modifica |
||
| (32 versioni intermedie di 23 utenti non mostrate) | |||
Riga 1:
Con l'interpretazione del contenuto dei documenti che il Web semantico impone, saranno possibili ricerche molto più evolute delle attuali, basate sulla presenza nel documento di parole chiave, e altre operazioni specialistiche come la costruzione di reti di relazioni e connessioni tra documenti secondo logiche più elaborate del semplice [[collegamento ipertestuale]]. Il termine è stato coniato da [[Tim Berners-Lee]], inventore del Web.<ref>{{Cita|Tim Berners-Lee, 2001}}.</ref>
== Introduzione ==
Per la sua costruzione/definizione, si potrebbe pensare di utilizzare l'[[XML]], un metalinguaggio che consente di descrivere (e con il dettaglio desiderato) le diverse parti di un documento. Un documento così descritto può poi essere elaborato per usi diversi: estrazione di informazioni secondo specifici criteri, riformulazione più o meno parziale per l'adattamento ad altri formati, visualizzazione in funzione delle capacità del terminale. XML però non consente una definizione semantica adeguata, per motivi che specificheremo dopo.
Sebbene un documento sia un buon modo per specificare informazioni, un documento, ancorché espresso in formato XML, è poco adatto al [[Web]] che, per sua natura, è distribuito e decentralizzato e, quindi, informazioni su una particolare entità possono essere localizzate ovunque.
Infatti, con XML è possibile descrivere adeguatamente i contenuti di un documento, ma la [[sintassi]] XML non definisce alcun meccanismo esplicito per qualificare le relazioni tra documenti. In questo non è di aiuto neppure il meccanismo dei [[Collegamento ipertestuale|collegamenti ipertestuali]] reso popolare dall'[[HTML]] perché amorfo, cioè non prevede la possibilità di descrivere il legame definito.
Riga 16:
Poiché, però, i diversi documenti sono redatti per scopi differenti, indipendentemente gli uni dagli altri e normalmente senza condividere un comune formato XML, informazioni utili quali l'indirizzo postale o la data di nascita finiscono per essere espresse in modo dissimile e non uniforme. L'indirizzo in un caso può essere semplicemente racchiuso dal ''[[Tag HTML|tag]]'' <''indirizzo''>, in altri da <''indirizzo_postale''>, <''direccion''>, <''address''> o <''adresse''>, e poi è da considerare la possibilità di avere esplicitamente identificati <''via''>, <''numero_civico''>, ... rendendo ardua e non priva di rischi ogni [[deduzione]] automatica.
Nei prossimi paragrafi si illustreranno prima il linguaggio utilizzato per costruire il web semantico, quindi le previste evoluzioni, gli strumenti e il contributo che queste tecnologie potrebbero dare per rispondere definitivamente ad uno dei problemi irrisolti in ambito informatico: la [[gestione della conoscenza aziendale|gestione della conoscenza]].
== I primi linguaggi: RDF, N3 ==
L'evoluzione del web in web semantico inizia con la definizione, da parte del [[W3C]], dello standard [[Resource Description Framework]] (RDF), una particolare applicazione XML che standardizza la definizione di relazioni tra informazioni ispirandosi ai principi della [[logica dei predicati]] (o logica predicativa del primo ordine) e ricorrendo agli strumenti tipici del [[Web]] (ad es. [[Uniform Resource Identifier|URI]]) e dell'XML (''[[namespace]]'').
In estrema sintesi, secondo la logica dei predicati le informazioni sono esprimibili con '''asserzioni''' (''statement'' in inglese) costituite da
#''Il Signor Ciampi vive a Roma''.
#''Il Signor Ciampi ha codice fiscale CMPCLZ20T09E625V''.
Riga 43:
| CMPCLZ20T09E625V
|}
allora, per alcuni di questi elementi, è possibile reperire ''arbitrariamente'' sul [[Web]] [[Uniform Resource Identifier|URI]] (risorse) che li identificano univocamente quali:
{| class="wikitable"
| Il Signor Ciampi
| http://
|-
| vive a
|
|-
| Roma
Riga 55:
|-
| Ha codice fiscale
| [[codice fiscale]]
|}
Riga 66:
Nei prossimi paragrafi si descrive come formalizzare le precedenti frasi in RDF nella sua [[forma canonica]], in due suoi formati testuali alternativi (''[[Notation 3|N3]]'' ed ''N3 con prefissi'') e graficamente.
Si segnala che appositi programmi come ''IsaViz''<ref>
=== Soluzione RDF canonica ===
Riga 180:
Alcuni applicativi, come il già citato ''IsaViz'', utilizzato in quest'esempio, adottano [[ellisse|ellissi]] per i nodi che sono [[Uniform Resource Identifier|URI]] (http://www.comune.roma.it/index.asp), altrimenti dei rettangoli per i nodi che contengono semplici [[Stringa (informatica)|stringhe]] di caratteri (CMPCLZ20T09E625V). Detto ciò, al nostro esempio corrisponde il [[grafo]]:
[[File:
=== Soluzione N3 ===
''[[Notation 3|N3]]'' (noto anche come ''N-triples'' o ''Notation 3'') propone una forma più facile da leggere rispetto ad RDF e l'esempio che stiamo considerando trova la seguente soluzione:
<http://www.quirinale.it/qrnw/statico/ex-presidenti/Ciampi/cia-biografia.htm">
<
<http://www.comune.roma.it/index.asp>''.''
<http://www.quirinale.it/qrnw/statico/ex-presidenti/Ciampi/cia-biografia.htm">
<[[codice fiscale]]>
"CMPCLZ20T09E625V"''.''
Riga 198:
@prefix presidente: http://www.quirinale.it/presidente/
@prefix wikipedia:
@prefix wikidizionario:
@prefix comune_roma: http://www.comune.roma.it/
Riga 210:
RDF non è che il primo passo. Il web semantico lo si sta costruendo a strati:
[[File:Semantic Web Stack.png|thumb|center|upright=1.4|W3C Semantic Web Layer Cake<ref>
La logica predicativa del primo ordine è estremamente complessa, e RDF ne poteva esprimere una porzione molto ristretta. Non solo: questa logica, se presa complessivamente, non è nemmeno computabile, mentre possono essere computabili delle logiche costituite da sottoinsiemi degli operatori della logica del primo ordine. Questi sottoinsiemi della logica formale sono studiati dalle [[logiche descrittive]], o ''description logics'', ed una di queste è stata adottata per la formulazione di un nuovo standard, più ricco ed espressivo di RDF: [[Web Ontology Language|OWL]].
Riga 232:
Per quanto riguarda l{{'}}''inversa'', invece basta pensare che quando si afferma che ''[[Romolo]] è fratello di Remo'', si intende anche che ''Remo è fratello di Romolo'', '''asserzione''' da fare esplicitamente in RDF per poter essere nota al sistema. Operazione fattibile ma tediosa. Per ovviare a ciò, sarebbe sufficiente poter definire una volta per tutte che se ''X è fratello di Y'' allora è vero anche ''Y è fratello di X''.
Questi costrutti, insieme ad altri, sono stati introdotti per primi da linguaggi precedenti o contemporanei ad RDF quali [[DAML]] (definito dall'americana [[DARPA]]) ed [[Ontology Inference Layer|OIL]] (sponsorizzata dalla [[Unione europea]] nell'ambito del programma
OWL esiste in tre forme, caratterizzate da diversi gradi di complessità e - conseguentemente - di [[computabilità]]. ''OWL-Lite'' è computabile (ossia è possibile trovare tutte le soluzioni in un tempo finito) ma poco espressivo; OWL-Lite è poco usato, poiché esiste ''OWL-DL'', che è ugualmente computabile ma più ricco. Infine esiste ''OWL-Full'', che copre tutta la ricchezza della logica predicativa, ma non è computabile e non è quindi adatto al ragionamento automatico.
Riga 246:
Molto più opportuno sarebbe utilizzare la biografia definita in Wikipedia oppure il Codice Fiscale con, ad es.,
:''{{collegamento interrotto|1=http://www.agenziaentrate.it/servizi/CF#CMPCLZ20T09E625V |data=maggio 2018 |bot=InternetArchiveBot }}''
Sebbene questa URI oggi non referenzi alcunché sul Web, la si potrebbe comunque utilizzare allo scopo perché RDF non presuppone alcuna verifica sulla effettiva disponibilità della risorsa stessa. In questo modo tutte le persone fisiche e giuridiche contemporanee e non solo personaggi, aziende, enti ed istituzioni "importanti" potrebbero essere univocamente identificati, potenziando notevolmente le possibilità di RDF (in ogni caso nulla vieterebbe all'[[Agenzia delle
Ciò detto, si potrebbe affermare che:
:''La risorsa individuata dal codice fiscale CMPCLZ20T09E625V vive a Roma, ha una biografia in
ovvero:
@prefix agenzia: https://web.archive.org/web/20050212035111/http://www.agenziaentrate.it/servizi/
@prefix comune_roma: http://www.comune.roma.it/
@prefix presidente: http://www.quirinale.it/presidente/
@prefix wikipedia:
@prefix wikidizionario:
agenzia:CF#CMPCLZ20T09E625V wikidizionario:vivere comune_roma:index.asp
Riga 265:
agenzia:CF#CMPCLZ20T09E625V wikidizionario:biografia wikipedia:carlo_azeglio_ciampi
Un altro accorgimento da tenere presente nella scelta dei termini da utilizzare per la definizione delle relazioni è di ricorrere a dizionari già noti e diffusi, invece che inventarne ogni volta di nuovi. Ad es. per le informazioni anagrafiche personali tipiche dei biglietti da visita quali ''nome'', ''cognome'', ''indirizzo'', ''e-mail'', ''ruolo aziendale''... è già disponibile [[vCard]]<ref>{{Cita web|lingua=en
Da quanto esposto finora è facile intuire che, nella costruzione del web semantico, progetti come [[Wikipedia]] o [[Wikizionario]] non sono solo funzionali ma, adeguatamente sfruttati, anche abilitanti perché forniscono lemmi ben documentati per individuare risorse e predicati, garantendone la stabilità nel tempo e, grazie alla possibilità di dichiarare equivalenze nella stessa lingua e tra lingue diverse, di accrescere ulteriormente l'estensione di un'indagine automatica.
Riga 272:
Ovviamente non è sufficiente avere solo una sintassi per esprimere predicati. Per rendere concreto ed utile quanto detto finora, occorrono anche strumenti in grado di gestire un insieme di asserzioni per rispondere alle richieste utente.
Per quanto riguarda N3, la gran parte di questi strumenti, come si può intuire dagli esempi di ''N3'' ed ''N3 con prefissi'',
Sui documenti scritti in OWL (o [[ontologia (informatica)|ontologie]]), invece, si può eseguire un vero e proprio ragionamento deduttivo inferenziale, realizzato tramite ragionatori automatici.
=== Linguaggi di query ===
Per utilizzare le basi di conoscenza formalizzate secondo questi standard è necessario un linguaggio per interrogarle. '''[[SPARQL]]''' (Simple Protocol And RDF Query Language) è uno dei linguaggi definiti per interrogare sistemi che gestiscono asserzioni RDF. Ad oggi sono disponibili altri linguaggi funzionalmente equivalenti ma SPARQL è candidato a divenire una raccomandazione [[W3C]]<ref>{{Cita web|lingua=en
Per interrogare OWL, invece, manca ancora uno standard, ed i singoli ragionatori implementano linguaggi di query proprietari.
== Web semantico e gestione della conoscenza ==
Da quanto detto si capisce perché se l'[[XML]] si rivolge alla descrizione di documenti, RDF (e sue evoluzioni) è particolarmente indicato per rappresentare dati, fornendo un metodo potenzialmente capace di risolvere un tema finora solo parzialmente soddisfatto da strumenti informatici: la [[gestione della conoscenza aziendale|gestione della conoscenza]], ovvero la capacità non solo di trattare le diverse [[anagrafica|anagrafiche]] (di prodotto, clienti, fornitori, dipendenti,...) e di classificare i documenti tecnici o amministrativi, (analisi di mercato, specifiche tecniche, norme, procedure...) ma di arrivare anche a gestire i ''contenuti'' di questi documenti permettendo, ad es., il reperimento delle informazioni in funzione delle specifiche esigenze del richiedente, integrando quanto reso disponibile da fonti diverse<ref>{{Cita web|lingua=en
Per quanto riguarda le anagrafiche, sarebbe molto semplice mappare i dati già disponibili in un [[RDBMS]] in asserzioni RDF - per ciascuna tabella:
Riga 304:
Il web semantico per funzionare deve poter disporre di informazione strutturata e di regole di deduzione per gestirla, in modo da accostare quelle informazioni che un'interrogazione ha richiesto.
[[Tim Berners-Lee]] ha sottolineato che uno degli elementi fondamentali del web semantico sarà la compresenza di più ontologie. Se si vuole un sistema dinamico in grado di raffinarsi e funzionare su scala universale, bisognerà pagare il prezzo di una certa dose di incoerenza.
A partire dal 2006 il progetto di realizzazione del web semantico mediante la costruzione di ontologie è stato parzialmente revisionato. In un articolo pubblicato su ''International Journal on Semantic Web and Information Systems''<ref>
=== Agenti semantici ===
È da segnalare che molto lavoro è attualmente in corso per estendere le possibilità del web semantico applicando l'idea degli ''[[agenti semantici]]'' intelligenti (programmi in grado di esplorare ed interagire autonomamente con i sistemi informatici per, ad es., ricercare informazioni). Ruolo di questi agenti nel web semantico è di fornire più vaste capacità di inferenza realizzando quanto espresso in un articolo su ''[[Scientific American]]'' di [[Tim Berners-Lee]] intitolato ''The Semantic Web'', dove si prospetta un futuro in cui ''Lucy'' fissa una visita medica alla madre utilizzando alcuni agenti capaci di "capire" la patologia, contattare i centri in grado di curarla e perfino di richiedere un appuntamento ai relativi agenti, salvo poi lasciarle la decisione di confermare<ref>
=== Limiti ===
Riga 332:
*Davies, John, ''Towards the semantic web'', J. Wiley, Chichester-Hoboken, 2003
*Dieter Fensel, ''Spinning the semantic Web'', MIT Press, Cambridge, 2003
* {{cita pubblicazione|autore=Tim Berners-Lee|url=https://www.scientificamerican.com/article/the-semantic-web/|titolo=The Semantic Web|rivista=[[Scientific American]]|volume=284|numero=5|mese=maggio|anno=2001|lingua=en|doi=10.1038/scientificamerican0501-34|urlarchivio=https://web.archive.org/web/20081204134900/http://www.sciam.com/article.cfm?id=the-semantic-web|urlmorto=no|cid=Tim Berners-Lee, 2001}}
*Luca Spinelli, ''Panoramica sul web semantico'', in «Login», [[Gruppo Editoriale Infomedia]], 2005
*Johan Hjelm, ''Creating the semantic Web with RDF'', Wiley, New York, 2001
Riga 346:
* [[Topic Maps]], tecnologia per l'organizzazione e la rappresentazione della conoscenza
* [[XML]]
*[[Web research]]
==Altri progetti==
{{interprogetto|preposizione=sul}}
== Collegamenti esterni ==
* {{Collegamenti esterni}}
*{{cita web | url = http://www.semanticism.org/ | titolo = Rassegna stampa in tempo reale sul web semantico | accesso = 18 dicembre 2008 | urlarchivio = https://web.archive.org/web/20081226015724/http://www.semanticism.org/ | urlmorto = sì }}
*{{cita web|
*{{cita web|
*{{cita web|
*{{cita web|url=http://www.websemantico.org/|titolo=Websemantico.org}}
*
*
{{Tecnologie emergenti}}
| |||