University of Trento
Fall 2014


There is no basic or mandatory written reference for this course. A list of suggested readings (e.g. chapters in advanced/reference textbooks and collections, and research papers) will be available as the course proceeds. Any textbook on mathematical logic. (In our Library there are many, just do your choice. We will be happy to know what is your favourite!).

You are warmly encouraged to read the following:

  • F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider, "Handbook of Description Logics", Cambridge University Press, Cambridge, UK, 2002.
  • Description Logics Courses and Tutorials.
  • More soon.

All material presented in class will be available through handouts. Most handouts especially PPTs of the lessons) will be made here. We will post the material a few days after each lecture, if not stated otherwise.

University of Trento - Master in Computer Science