Web semantico (2013/2014)

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

Orario lezioni

II semestre
Giorno Ora Tipo Luogo Note
lunedì 9.30 - 11.30 lezione Aula C  
mercoledì 10.30 - 11.30 lezione Aula C  
venerdì 8.30 - 10.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)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 100.0% 30 1
Respinti --
Assenti --
Ritirati --
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 8.3% 0.0% 0.0% 0.0% 0.0% 33.3% 58.3%

Valori relativi all'AA 2013/2014 calcolati su un totale di 12 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.