Seminar: Logical Modelling

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Seminar: Logical Modelling

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2019


Umfang (SWS)

  • 0/2/0



  • Hausarbeit
  • Referat


  • 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.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS6, 8. April 2019 in APB E005 Datei
Vorlesung Answer-Set Prgramming and Tools DS6, 15. April 2019 in APB E005 Datei
Vorlesung The Web-Ontology Language and Protege DS6, 6. Mai 2019 in APB E005 Datei
Vorlesung IDP + FO(\cdot) DS6, 13. Mai 2019 in APB E005 Datei
Vorlesung Assignment Presentations DS6, 15. Juli 2019 in APB E005