Seminar: Logical Modelling

From International Center for Computational Logic

Seminar: Logical Modelling

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


  • Lukas Schweizer, Sebastian Rudolph


  • 0/2/0


Examination method

  • Term paper
  • Seminar presentation


  • NEW date for the assignment presentations: 15th July, DS6
  • Slide material online: Note that the slides are merely a starter to the topic, and most of the details has been shown in the lectures. So the slides are by no means detailed....
  • Literature online


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 Introduction DS6, April 8, 2019 in APB E005 Download
Lecture Answer-Set Prgramming and Tools DS6, April 15, 2019 in APB E005 Download
Lecture The Web-Ontology Language and Protege DS6, May 6, 2019 in APB E005 Download
Lecture IDP + FO(\cdot) DS6, May 13, 2019 in APB E005 Download
Lecture Assignment Presentations DS6, July 15, 2019 in APB E005