​​Knowledge Representation & Reasoning (CS213)

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 and apply knowledge-based
systems, and understand the limitations and complexity of algorithms for representing knowledge.


Knowledge in discrete mathematics, in particular set theory and complexity theory (e.g., CS260 or related experience in undergraduate studies).

Applied Ontology

The course covers advanced topics in conceptual modelling, data management, integration and analysis, all of which have applications in data-intensive disciplines such as biology, biomedicine and others. The aims of the course is to provide an in-depth understanding of the state of the art in formal ontologies, including their role in integrating and analyzing data. While Knowledge Representation & Reasoning (CS213) introduced
basic logic formalisms that can be used to express knowledge, the Applied Ontology course focuses on how to structure the content of a knowledge base and introduces general structuring principles for knowledge. Examples include the theories for mereological (parthood) relations, or theories of space and time, and the consequences of selecting a particular theory in formalized knowledge bases. The course is split in two parts, the first focusing on concrete applications with examples taken from the biomedical domain, the second focusing on the theoretical framework underlying formal ontologies and their role in information systems.


Knowledge Representation & Reasoning (CS213) or similar.​