In practice, ontologies are often subject to changes and even the construction of an ontology can be seen as an iterative process.
In this seminar we will discuss recent topics from the area of changing description logic ontologies. We will become aquainted with different methods to change ontologies as well as with problems arising from these modifications.
The seminar is organized by Prof. Dr. Steffen Staab and Dr. Claudia Schon. It is intended for master students in the area of Web Science, Computer Science and related fields. The seminar will be held in English, and will consist of individual talks of students. Each student will research and prepare one topic in the area of changing ontologies, will give a presentation (30 minutes) about the topic, and will write a technical report (12 pages) about it.
For the presentation as well as the preparation of the technical report it is recommended to follow the guidlines outlined in the document "Seminar Presentations and Technical Reports - Guidlines".
Knowledge of Description Logics is not mandatory to take part in the seminar. At the beginning of the seminar, an introduction into basic description logics will be provided by Claudia Schon.
However it is assumed that all participant are familiar with the notion of propositional as well as predicate logic. To refresh your knowledge on logic, you could for example consider taking a look at . Students who are not sure if they meet this requirement can contact Claudia Schon.
- Introductory meeting: April 20th, 14:15 room F 522
- April 25th 2017, 14:15 room E523: Introduction to Description Logics
- May 2nd 2017, 14:15 room E523: Introduction to Description Logics
- Seminar block: at the end of the lecture period
 Melvin Fitting: First-Order Logic and Automated Theorem Proving, Second Edition. Graduate Texts in Computer Science, Springer 1996, ISBN 978-1-4612-7515-2, pp. I-XVI, 1-326