Seminar: Logical Modelling (SS2020): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar: Logical Modelling |Research group=Computational Logic |Lecturers=Sebastian Rudolph; Lukas Schweizer |Term=SS |Year=2020 |Module=INF…“) |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 11: | Zeile 11: | ||
|Exam type=Hausarbeit, Referat | |Exam type=Hausarbeit, Referat | ||
|Description=== Description == | |Description=== Description == | ||
This seminar intends to address the topic of practical modeling in knowledge representation languages. As formalisms, we will cover | 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. | 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. | ||
}} | }} | ||
Version vom 30. März 2020, 16:35 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
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.
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
