TU Wien:Description Logics and Ontologies VU (Ortiz de la Fuente)
- Description Logics and Ontologies VU (Diverse) (TU Wien, 0 Resources)
- Description Logics and Ontologies VU (Ortiz de la Fuente) (TU Wien, 0 Resources)
|Lecturers||Maria Magdalena Ortiz de la Fuente|
|Alias||Description Logics and Ontologies (en)|
|Department||Logic and Computation|
|Links||tiss:184772, Homepage, Mattermost-Channel|
The lecture is based on the book "An Introduction to Description Logic" by Baader et al. The following chapters/topics are mandatory:
- Expressive DL and Tableau
- Lightweight DLs (EL and DL-Lite/QA)
Students can pick one of these two topics and do the exercise for them:
- Logic Foundations (Model Theory)
Almost weekly lectures (asynchronous on LectureTube) and exercise sheets. Do not underestimate the exercises, they can be quite a lot of work. Exercises are assessed on a scale "not assessable-progressing-mastered". There is no deadline for the exercises other than the final deadline at the end of June. This also means that exercises can be handed in multiple times to achieve a better exercise grade.
There is a one-hour (Zoom) discussion of the material and exercise of the previous week and a look ahead on the week's material. Attendance is not mandatory, but recommended since Prof. Ortiz' explanations are quite helpful for the exercises and exam/quizzes.
There are two quizzes in TUWEL. They have a one-hour time limit, but can be done much faster if you're familiar with the topics. Most questions focus on understanding of the material, so it helps if you've read the chapters in the book and/or watched the lectures attentively.
At the end of the semester, students have to select a topic that was not covered in the lecture and write a short paper (2-3 pages with references), such as:
- Module extraction
- ABox abduction
- Least common subsumer and most specific concept
- First-order rewritability (of instance queries)
- DLs with concrete domains
- DLs with closed predicates
- Bayesian DLs
- Defeasible DLs
- DLs with circumscription
- Temporal DLs
- Fuzzy DLs
Relational calculus, First-Order Logic, Complexity Theory basics as taught in e.g. TIL, DBS, ADBS, FMI, EWBS, KBS, DMOD etc.
Everything else is taught from the ground up, additional material is available if you're not familiar with the topics above.
Compared to Semantic Web Technologies, the material in this lecture is highly theoretical. If you do not like theoretical computer science and logic, you will not have a good time.
The lectures are quite good and cover most of the topics in the book. There are no slides for some of the topics, just "blackboard notes", so it's a good idea to take notes during the lectures. The weekly discussions are there to help with the understanding and the exercises, and often solutions to (sub-) problems were presented.
Can be a lot of work, but there is a lot of time to work on them as the only deadline is the end of the semester. However, it's a good idea to hand in early so you can correct any mistakes. It's recommended to write in Latex, but you can hand in any way you want as long as it's legible.
Two quizzes, five exercises, one short paper/report.
60% exercise solutions 30% online quizzes 10% reading assignments/special topics
Exercises will be evaluated continuously, you can submit any time
The assessment is based on your mastery of the learning outcomes listed on the sheet:
- Grade 1 : mastered 100% - 88,00% of the learning outcomes
- Grade 2: mastered 87,99% - 75% of the learning outcomes
- Grade 3: mastered 74,99% - 63% of the learning outcomes
- Grade 4: mastered 62,99% - 50%
Three progressing learning outcomes count as one mastered
Dauer der Zeugnisausstellung
|SS21||24.06.2021||29.06.2021||< 1 week|
About 10-12 hours per topic for the lecture and exercise. About one day for the report, depending on how fast you can find a suitable survey on the topic.
An Introduction to Description Logic: Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler. Cambridge University Press. (Free access via TU Library)
Verbesserungsvorschläge / Kritik