Seminar: Logical Modelling

Seminar: Logical Modelling

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

Dozent

• Sebastian Rudolph
• Lukas Schweizer

Umfang (SWS)

• 0/2/0

Module

• INF-BAS2
• INF-VERT2
• MCL-PS

Leistungskontrolle

• Hausarbeit
• Referat

• Information
• Literatur
• Termine und Unterlagen

Updates

• 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

Description

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.

OWL

Description Logic

• Foundations of Description Logics: http://aifb.kit.edu/images/1/19/DL-Intro.pdf
• From DL(s) to OWL: http://www.websemanticsjournal.org/index.php/ps/article/download/24/22

Ontology Editor

• https://protege.stanford.edu/

W3C

• https://www.w3.org/TR/owl2-overview/

ASP

• https://potassco.org/teaching/

Tools

• https://potassco.org/clingo/

FO(.) + IDP3

• System + Material: https://dtai.cs.kuleuven.be/software/idp/fo

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

Kalender