The course covers basic concepts in knowledge representation, reasoning and its application in the Semantic Web. The aims of the course are to introduce key concepts of knowledge representation and its role in artificial intelligence, enable students to design knowledge-based systems and understand limitations and complexity of algorithms for representing knowledge.