Web semantico (2014/2015)

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

Orario lezioni

II sem.
Giorno Ora Tipo Luogo Note
lunedì 9.30 - 11.30 lezione Aula G  
giovedì 8.30 - 9.30 lezione Aula B  
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 80.0% 30 0
Respinti --
Assenti 20.0%
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% 0.0% 0.0% 0.0% 0.0% 0.0% 25.0% 75.0%

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