1 - Formalismi basati su classi - Logiche descrittive - Ragionamento nelle logiche descrittive - Confronto con i formalismi di modellazione concettuale 2 - Formalismi basati su regole - Datalog - Ragionamento in Datalog - Negazione nei formalismi basati su regole - Answer Set Programming (ASP) - Ragionamento in ASP - Confronto con SQL 3 - Tecnologie semantiche - Semantic Web - RDF, RDFS, SPARQL - Linked data - Ontologie - OWL - Profili di OWL - Ragionamento in OWL - Costruzione di una ontologia OWL - Rule Interchange Format 4 - Ragionamento su azioni - Logiche per le azioni - Il Situation Calculus e il frame problem - Eseguibilità e proiezione http://www.diag.uniroma1.it/~rosati/krst/

Dispense distribuite dal docente