Web semantico (2010/2011)

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

Orario lezioni

II semestre
Giorno Ora Tipo Luogo Note
lunedì 10.30 - 12.30 lezione Aula G  
mercoledì 8.30 - 10.30 laboratorio Laboratorio didattico Gamma  

Obiettivi formativi

Obiettivo del corso è l'apprendimento delle tecniche di progettazione di basi di conoscenza che possano essere interrogate dal web e l'integrazione di conoscenza esplicita sul web.

Programma

Richiami di Logica
Logica proposizionale
Logica del primo ordine
Deduzione nel calcolo proposizionale
Deduzione nel calcolo del primo ordine
Logiche descrittive
Logiche descrittive strutturali (FL-)
Logiche descrittive proposizionali
Basi di conoscenza
Rappresentazione di concetti
La relazione ISA
Attributi e vincoli
La famiglia AL
Concetti
Ruoli e attributi
Restrizioni
Sintassi e semantica di ALC
Sintassi e semantica di ALCQIreg
SHF
SHIQ
Protege-2000
L'implementazione di SHF
L'implementazione di SHIQ
Ontologie formali
Top-Level Ontologies
Ontologie di Dominio
Ontologie Dedicate ad un Compito

Modalità d'esame

La prova d'esame è scritta con possibilità di integrazione con orale

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 36.36% 30 0
Respinti --
Assenti 36.36%
Ritirati --
Annullati 27.27%
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% 75.0% 25.0%

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