Web semantico (2012/2013)

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

Orario lezioni

II semestre
Giorno Ora Tipo Luogo Note
giovedì 11.30 - 13.30 lezione Aula C  
venerdì 9.30 - 11.30 lezione Aula C  

Obiettivi formativi

Il corso si propone di introdurre le tecniche di progettazione di una terminologia in Logica Descrittiva.

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è
6. Laboratorio di progettazione di ontologie

Modalità d'esame

L’esame consiste in una tesina e nella discussione orale della stessa.

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

I dati relativi all'AA 2012/2013 non sono ancora disponibili