Logical Modelling

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

Logical Modelling

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


Umfang (SWS)

  • 0/2/0



  • Hausarbeit


  • Presentations of the practical Assignments: Wednesday 26.7 (DS 4)
  • We meet regularly on Wednesdays (except 17.5 = Dies Academicus)

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 and explain the design decisions made.

In General

  • Baader, Franz. "Logic-based knowledge representation." Artificial intelligence today. Springer Berlin Heidelberg, 1999. 13-41.



OWL Protege (& Description Logics)

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS4, 5. April 2017 in APB E005
Vorlesung Answer-Set Programming DS4, 12. April 2017 in APB E005 Datei
Vorlesung FO(\cdot) and IDP DS4, 19. April 2017 in APB E005
Vorlesung The Web Ontology Language DS4, 26. April 2017 in APB E005 Datei 1 Datei 2
Vorlesung Assignment Presentations DS4, 26. Juli 2017 in APB E005