2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Semantic Web
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Informatica |
|---|---|---|---|
| CFU | 6 | Università | NAPOLI "Federico II" |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 1 CFU nell'area A - Fondamenti
- 5 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
- A - Fondamenti
-
COM - Complessità
Richiami di logica del primo ordine e complessità computazionale. - M - Rappresentazione della conoscenza
-
BC - Basi di Conoscenza
Logiche descrittive: sintassi, semantica e reasoning tasks. Logiche descrittive e lo standard OWL. Espressività e complessità dei diversi frammenti logici. Basi di Conoscenza (BC) -
BC - Basi di Conoscenza
Strumenti di sviluppo di Ontologie (Protegé). Modellazione di domini tramite OWL (definizione di ontologie). -
BC - Basi di Conoscenza
Logiche descrittive indecidibili. Logiche a bassa complessità. l profili OWL-EL, OWL-DL e OWL-RL. -
RA - Ragionamento Automatico
Meccanismi di ragionamento automatico basati su tableaux e relative tecniche di ottimizzazione. Meccanismi di ragionamento per la logica EL. -
*
LPD - Logica e Programmazione Dichiarativa
Elementi di programmazione logica: il linguaggio Prolog, esempi di programmi logici, negazione come fallimento.
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
