Web semantico (2017/2018)

Codice insegnamento
4S02793
Docente
Matteo Cristani
Coordinatore
Matteo Cristani
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
II sem. dal 1-mar-2018 al 15-giu-2018.

Orario lezioni

Vai all'orario delle lezioni

Obiettivi formativi

Il corso si propone di introdurre le tecniche di progettazione di una terminologia in Logica Descrittiva e le applicazioni di Logica Descrittiva al Linguaggio Naturale ed ai Social Network. Al termine del corso lo studente sarà in grado di progettare una ontologia mediante protègè ed applicare tecniche di social network analysis e Information Extaction alla comprensione e marcatura semantica di una sezione del web.

Programma

1. Richiami di logica generale
a. Linguaggi proposizionali
b. Linguaggi del primo ordine
c. Linguaggi del secondo ordine
2. Introduzione alla logica computazionale
a. Compiti di ragionamento
b. Sussunzione, soddisfacibilità, consistenza, disgiuntività,
3. Logiche descrittive strutturali
a. Il linguaggio FL-
i. Sintassi
ii. Semantica
b. La logica AL
i. Sintassi e semantica
ii. Algoritmo di sussunzione strutturale
c. ALU, ALE
d. ALN
4. Logiche descrittive proposizionali
a. ALC, ALCN
i. Sintassi e semantica
ii. Il Tableau per ALCN
b. ALCI
c. ALCQIreg
i. Inapplicabilità del Tableau
ii. Gli automi a due vie alternati su alberi infiniti
5. Sistemi di logica descrittiva
a. Protegè/OWL
6. Linguaggio Naturale
7. Social network analysis e tecniche di network mining

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider The Description Logic Handbook Theory, Implementation and Applications (Edizione 1) Cambridge University Press 2003 0521781760

Modalità d'esame

L’esame consiste in una tesina, nella discussione orale della stessa con integrazione di domande teoriche.

La tesina consisterà in un software che implementa una tecnica di quelle presentate a lezione , in particolare una delle seguenti tecniche:

- crawling su social network su base ontologica;
- text analysis su base ontologica.

La prima parte della prova orale consisterà nell'esame di dettaglio delle modalità di realizzazione scelte e del problema risolto, che sarà concordato con ogni studente. Oltre a questa verranno poste domande teoriche sui contenuti disciplinari come presentati in classe e discussi nel testo.

La valutazione della tesina terrà conto di:

- qualità della soluzione scelta in relazione alla complessità del problema, secondo i parametri di efficienza ed efficacia tipici della teoria degli algoritmi;
- specifico uso delle ontologie formali, formalizzazione e sua complessità, qualità nell'adozione degli standard di progetto secondo le correnti metodologie di progettazione di ontologie di dominio;
- complessità dell'ontologia implementate in OWL-DL e sua qualità, rilievo rispetto alla tecnica implementata.

La valutazione della prova orale terrà conto di:

- completezza analitica nella risposta ai quesiti relativi alla tesina;
- competenza sui temi specificati nel programma;
- correttezza delle risposte, e loro ampiezza.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2017/2018 non sono ancora disponibili