Un sistema di tipi per il linguaggio SPARQL di Simona Dalu

Un sistema di tipi per il linguaggio SPARQL

Tipologia:

Tesi di Laurea di secondo livello / magistrale

Anno accademico:

2009/2010

Relatore:
Giorgio Ghelli
Corso:

Informatica

Cattedra:

Dipartimento di informatica

Lingua:
Italiano
Pagine:
87
Formato:
Pdf
Protezione:
DRM Adobe
Dimensione:
1.23 Mb

Descrizione Un sistema di tipi per il linguaggio SPARQL

Il Web semantico è nato dall'idea di favorire lo scambio di informazioni disponibili in rete non solo tra esseri umani ma anche tra applicazioni. A questo scopo sono stati sviluppati linguaggi in grado di esprimere tali informazioni in una forma comprensibile e processabile dalla macchina. Questi linguaggi formano, quindi, una struttura che permette la codifica, lo scambio e il riutilizzo di informazioni tra applicazioni distribuite, aziende e comunità. Uno di questi linguaggi è il Resource Description Framework (RDF), uno standard del W3C per descrivere risorse Web. Il W3C ha anche standardizzato un linguaggio di interrogazione su grafi RDF chiamato SPARQL. Questa tesi si concentra sullo studio di questo linguaggio e, in particolare, propone per esso una semantica formale e un sistema di tipi.

€ 24.00
Download immediato
servizio Prenota Ritiri su tesi Un sistema di tipi per il linguaggio SPARQL
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti