separator
University of Trento
Fall 2012

LESSONS

Official Lectures Time and Location:
Monday 14:30 - 16:30, Faculty of Science, room A213 POVO1 (new building)
Friday 10:30 - 12:30, Faculty of Science, room A108 POVO1 (new building)

Please always check latest news in home page!

There might be some variations.


SYLLABIUS

Slides and handouts will be put online some days after each lesson.

Date
Room
Lecturer
Topic
Slides
21-09
A108
ALL
Course description.
Recap of Propositional Logic.
24-09
A213
Luciano
Recap of First Order Logic.
28-09
A108
Chiara
First Order Logic: exercises and tableaux
01-10
A213
ALL
PROJECT PRESENTATION
05-10
A108
Luciano
Introduction to DL
08-10
A213
Luciano
Reasoning in ALC
12-10
A108
Luciano
Reasoning in ALC
15-10
A213
Luciano
More expressive DLs
19-10
A108
Luciano
Exercises on DL
22-10
A213
Feroz
Introduction to the Semantic Web
26-10
A108
Feroz
RDFS & RDF
29-10
A213
Feroz
RDFS & RDF: exercises
05-11
A213
Feroz
SPARQL
09-11
A108
Feroz
SPARQL: exercises
 
12-11
A213
Feroz
OWL & OWL2
16-11
A108
Feroz
OWL & OWL2: exercises
 
19-11
A213
Feroz
DERA
23-11
A108
Chiara
Ontological analysis
26-11
A213
Chiara
Ontological analysis
30-11
A108
Chiara
Ontological analysis
separator
University of Trento - Master in Computer Science