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 2020


Umfang (SWS)

  • 0/2/0



  • Hausarbeit
  • Referat


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.

Veranstaltungskalender abonnieren (icalendar)

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