Tesi etd-09112013-165825 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
PALLECCHI, SERENA
URN
etd-09112013-165825
Titolo
Un sistema di tipi per SPARQL 1.1
Dipartimento
INFORMATICA
Corso di studi
TECNOLOGIE INFORMATICHE
Relatori
relatore Ghelli, Giorgio
Parole chiave
- RDF
- WEB SEMANTICO
- OWL
Data inizio appello
11/10/2013
Consultabilità
Completa
Riassunto
Il web semantico è nato per favorire lo scambio di informazioni disponibili in rete sia tra esseri umani che tra applicazioni.
Per questo scopo sono stati sviluppati linguaggi in grado di esprimere tali informazioni in una forma comprensibile e processabile dalla macchina.
Questi linguaggi permettono 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.
Oltre a RDF, il W3C ha standardizzato anche un linguaggio di interrogazione su grafi RDF chiamato SPARQL.
Questa tesi si concentra sullo studio dell'ultima versione di questo linguaggio, SPARQL 1.1, e propone per esso una semantica formale e un sistema di tipi.
Il sistema dei tipi proposto utilizza un ambiente di valutazione basato su asserzioni OWL2, le quali modellano la conoscenza preliminare che il programmatore SPARQL possiede. Tale conoscenza riguarda i dati e le relazioni tra i dati RDF che verranno interrogati.
Infine è stato implementato un type checker per SPARQL 1.1, e in questo elaborato ne diamo una panoramica.
The semantic web arose from the idea to support exchange information between people and applications.
For this purpose are been developed some languages abled to express this information in a understandable way by the computer.
These languages allows encoding, exchange and reuse information between distributed applications, companies and communities.
One of these languages is Resourse Description Framework (RDF), a W3C standard to describe web resources.
A W3C standard is also SPARQL, a query language of RDF graphs.
This study is based on the last version of this language, SPARQL 1.1, and it proposes a formal semantics and define a types system.
This type system uses a evaluation enviroment based on OWL2 assertions, that models the preliminar knowledge of the SPARQL programmer. This knowledge is about relationship between RDF data that will be queried.
At the end has been implemented a type checher for SPARQL 1.1, and in this work we describe it summarily.
Per questo scopo sono stati sviluppati linguaggi in grado di esprimere tali informazioni in una forma comprensibile e processabile dalla macchina.
Questi linguaggi permettono 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.
Oltre a RDF, il W3C ha standardizzato anche un linguaggio di interrogazione su grafi RDF chiamato SPARQL.
Questa tesi si concentra sullo studio dell'ultima versione di questo linguaggio, SPARQL 1.1, e propone per esso una semantica formale e un sistema di tipi.
Il sistema dei tipi proposto utilizza un ambiente di valutazione basato su asserzioni OWL2, le quali modellano la conoscenza preliminare che il programmatore SPARQL possiede. Tale conoscenza riguarda i dati e le relazioni tra i dati RDF che verranno interrogati.
Infine è stato implementato un type checker per SPARQL 1.1, e in questo elaborato ne diamo una panoramica.
The semantic web arose from the idea to support exchange information between people and applications.
For this purpose are been developed some languages abled to express this information in a understandable way by the computer.
These languages allows encoding, exchange and reuse information between distributed applications, companies and communities.
One of these languages is Resourse Description Framework (RDF), a W3C standard to describe web resources.
A W3C standard is also SPARQL, a query language of RDF graphs.
This study is based on the last version of this language, SPARQL 1.1, and it proposes a formal semantics and define a types system.
This type system uses a evaluation enviroment based on OWL2 assertions, that models the preliminar knowledge of the SPARQL programmer. This knowledge is about relationship between RDF data that will be queried.
At the end has been implemented a type checher for SPARQL 1.1, and in this work we describe it summarily.
File
| Nome file | Dimensione |
|---|---|
| tesiPallecchi.pdf | 2.13 Mb |
Contatta l’autore |
|