Version vom 26. April 2020, 22:12 Uhr

Seminar: Logical Modelling

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

Dozent

Umfang (SWS)

0/2/0

Module

Leistungskontrolle

Hausarbeit
Referat

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

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

Kalender

@@ Zeile 11: / Zeile 11: @@
 |Exam type=Hausarbeit, Referat
 |Description=== Update ==
-* The Answer-Set Programming Session today is held via https://jitsi.tu-dresden.de/LogicalModelling
+* All sessions will be held via https://jitsi.tu-dresden.de/LogicalModelling
 == COVID-19 News ==

Seminar: Logical Modelling (SS2020): Unterschied zwischen den Versionen