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: Basic Description Logics
- May 2nd 2017, 14:15 room E523: Basic Description Logics
- Slides due: June 23rd 2017 (at the latest!)
- Seminar block: July 3rd 2017, 10:15 - 16:00, room B233
Please register via Klips, if you want to take part in the seminar.
- Slides from the introductory meeting. The slides now include the assignment of topics.
- Slides used in the lecture on Basic Description Logics were created by Uli Sattler and Thomas Schneider for the ESSLLI course on Description Logics: a Nice Family of Logics. We used the slides from Introduction, Part 1.
- Date for the seminar block is July 3rd. If you want to have feedback on your slides, you have to send them to me till June 23rd 2017 at the latest!
 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