Seminar: Logical Modelling

Seminar: Logical Modelling

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

Lecturer

• Sebastian Rudolph
• Lukas Schweizer

SWS

• 0/2/0

Modules

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

Examination method

• Term paper
• Seminar presentation

• Information
• Literature
• Dates and Materials

Update

• All sessions will be held via https://jitsi.tu-dresden.de/LogicalModelling

COVID-19 News

• Please subscribe in OPAL for this seminar: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23234641951
• We will meet virtually on Monday, 6th April DS 3, for the first time via Zoom: https://zoom.us/j/727929677
• Please let us know if this is not possible for you, and we try to find some other solution.

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

Subscribe to events of this course (icalendar)

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

Calendar