Seminar: Logical Modelling (SS2020): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 10: | Zeile 10: | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=Hausarbeit, Referat | |Exam type=Hausarbeit, Referat | ||
|Description=== COVID-19 News == | |Description=== Update == | ||
* The Answer-Set Programming Session today is 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 | * 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 | * We will meet virtually on Monday, 6th April DS 3, for the first time via Zoom: https://zoom.us/j/727929677 | ||
| Zeile 57: | Zeile 60: | ||
|Date=2020/04/20 | |Date=2020/04/20 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=LM-ASP2020.pdf | |Download=LM-ASP2020.pdf | ||
}} | }} | ||
Version vom 20. April 2020, 10:00 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
- The Answer-Set Programming Session today is 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.
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
W3C
ASP
Tools
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
