Seminar: Logical Modelling
From International Center for Computational Logic
Seminar: Logical Modelling
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2019
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Term paper
- Seminar presentation
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.
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
Subscribe to events of this course (icalendar)
Lecture | Introduction | DS6, April 8, 2019 in APB E005 | File |
Lecture | Answer-Set Prgramming and Tools | DS6, April 15, 2019 in APB E005 | File |
Lecture | The Web-Ontology Language and Protege | DS6, May 6, 2019 in APB E005 | File |
Lecture | IDP + FO(\cdot) | DS6, May 13, 2019 in APB E005 | File |
Lecture | Assignment Presentations | DS6, July 15, 2019 in APB E005 |
Calendar