Web semantico (2016/2017)

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-2017 al 9-giu-2017.

Orario lezioni

II sem.
Giorno Ora Tipo Luogo Note
mercoledì 14.30 - 17.30 lezione Aula C  
venerdì 14.30 - 16.30 lezione Aula I  

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 e nella discussione orale della stessa. La tesina consisterà in un software che implementa una tecnica di quelle presentate a lezione

Opinione studenti frequentanti - 2015/2016


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

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