Seminar: Logical Modelling

From International Center for Computational Logic

Seminar: Logical Modelling

Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2020



  • 0/2/0


Examination method

  • Term paper
  • Seminar presentation


COVID-19 News


This seminar intends to address the topic of practical modeling in knowledge representation languages. As formalisms, we will cover

  • OWL (the popular Web Ontology Language used in the Semantic Web but also for offline knowledge management solutions)
  • Answer Set Programming, a logic programming approach used for modeling search and constraint satisfaction problems, and
  • FO(ID) and the IDP System.
All approaches come with a good tool support for modeling and automated inferencing. After a few initial sessions to provide the basics, the students will be asked to logically model a certain domain and later present the result(s) and explain the design decisions made.

Subscribe to events of this course (icalendar)

Lecture Initial Discussion & Introduction DS3, April 6, 2020 in APB E005
Lecture Answer-Set Programming I DS3, April 20, 2020 in APB E005 Download
Lecture Answer-Set Programmin II DS3, April 27, 2020 in APB E005
Lecture Web Ontology Language I DS3, May 4, 2020 in APB E005 Download
Lecture Web Ontology Language II - Reasoning DS3, May 25, 2020 in APB E005 Download
Lecture Presentations DS2, August 7, 2020 in APB E005