Il corso introduce le nozioni fondamentali della modellizzazione semantica e i linguaggi di diversa espressività (RDF, RDFS, e la famiglia OWL) che il World Wide Web Committee raccomanda per esprimere i modelli semantici risultanti. Di ogni linguaggio si discute sintassi, semantica, meccanismo inferenziale, e complessità computazionale dei problemi relativi. Viene presentata un’architettura software per l’implementazione di sistemi basati sulla conoscenza che adottano i linguaggi del web semantico, e viene usata durante il corso per illustrare le nozioni presentate.