Organization
- Summer Term 2016
- Dates and times according to schedule below, TU Dresden, Room: APB/3026
- First meeting: April 8
- Contact: Pavlos Marantidis, Maximilian Pensel
Schedule
| Date | Content |
|---|---|
| April 8 | Kickoff-Discussion |
| April 22 | Paper 2, Part 1 |
| April 29 | Paper 2, Part 2 |
| May 27 13:00 - 14:50 |
Paper 2, Part 3 (finishing); Paper 4, Part 1, introduction + preliminaries |
| June 9 14:00 - 15:30 |
Paper 4, Part 2 |
| June 10 13:00 - 14:30 |
Paper 4, Part 3 |
| June 24 14:00 - 16:00 |
Paper 4, Part 4 |
| July 1 14:00 - 16:00 |
Paper 4, Part 4.1 |
| July 6 11:00 - 13:00 |
Paper 4, Part 4.2 |
| July 7 10:00 - 12:00 |
Paper 4, Part 4.3 (final) |
| September 1 14:00 - 15:00 |
Paper 3, Introduction |
| Pushed to after November 16 |
Paper 3, Preliminaries & FL⊥ |
| Pushed to after November 16 |
Paper 3, Extension to larger languages |
List of Papers
- F. Baader:
Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI 90 - F. Baader:
Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Ann Math Artif Intel 1996 - F. Baader, R. Küsters, A. Borgida, D. McGuinness:
Matching in Description Logics. JLC 1999 - Carsten Lutz, Inanç Seylan, Frank Wolter:
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR 2012 - Frank Wolter:
Automata for Ontologies. LATA 2016 - F. Baader, A. Ecke:
Reasoning with Prototypes in the Description Logic ALC using Weighted Tree Automata. LATA 2016