• Knowledge Representation and Reasoning course from Renate A. Schmidt http://www.cs.manchester.ac.uk/~schmidt/COMP6016/

• A description logic course from Enrico Franconi.
  http://www.inf.unibz.it/~franconi/dl/course/

• Ian Horrock's cs646 course at Manchester
  http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/

• Knowledge Representation for the Semantic Web CS 790 course from Prof. Dr. Pascal Hitzler http://www.semantic-web-book.org/page/KR4SW-10