Riepilogo dell'insegnamento: Knowledge Representation and Semantic Web
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
- M - Rappresentazione della conoscenza
-
*
LPD - Logica e Programmazione Dichiarativa
Propositional logic
-
*
LPD - Logica e Programmazione Dichiarativa
Propositional logic
-
*
LPD - Logica e Programmazione Dichiarativa
First-order logic
-
*
LPD - Logica e Programmazione Dichiarativa
Calculi
-
*
SBC - Sistemi Basati su Conoscenza
DTD and XML Schema
-
*
SBC - Sistemi Basati su Conoscenza
XPath and XSLT
-
*
SBC - Sistemi Basati su Conoscenza
Description Logics
-
*
SBC - Sistemi Basati su Conoscenza
XML, RDF, RDF-S
-
*
SBC - Sistemi Basati su Conoscenza
OWL
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).