Home
separator
University of Trento
Fall 2013

LESSONS

Official Lectures Time and Location:
Monday 15:00 - 17:00, Faculty of Science, room A108 POVO1 (new building)
Friday 11:00 - 13:00, 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
Lecturer
Topic
Slides
16/09
Fausto
Propositional DL: syntax and semantics
20/09
Enzo
Propositional DL: TBox
Recommended readings: the DPLL algorithm [PPT]
23/09
Fausto
Propositional DL: Reasoning with a TBox
30/09
Fausto
Propositional DL: ABox
30/09
Enzo
Propositional DL: exercises
04/10
Enzo
DL languages: syntax and semantics
07/10
Fausto
DL reasoning: the Tabeau algorithm
14/10
Ronald
Applications of DL: Relbak
18/10
Fausto
Applications of DL: lightweight ontologies
21/10
Enzo
DL Exercises
25/10
Aliaksandr
Applications of DL: semantic matching
04/11
Aliaksandr
Applications of DL: semantic matching LAB
07/11
Feroz
Introduction to the Semantic Web
11/11
Feroz
RDF
14/11
Feroz
RDF: exercises
25/11
Feroz
SPARQL
29/11
Feroz
SPARQL: exercises
02/12
Feroz
OWL and OWL2
06/12
Feroz
OWL: exercises
09/12
Enzo
Building ontologies using DERA
separator
University of Trento - Master in Computer Science