Unit |
Date Hour |
Room |
[Lecturer] Syllabus |
References |
Slides / Handouts |
1. |
Tue 17.02.09 14:30 16:30 |
208 |
[G] Welcome Course
Description Data, Knowledge, Representation |
-- |
[PDF (2.4M)]
|
2. |
Thu 19.02.09 16:30 18:30 |
208 |
[G] Part I: Formalization Languages & Logic |
-- |
" |
3. |
Tue 24.02.09 14:30 16:30 |
208 |
[G] Part I: World & Models Logical modeling
|
-- |
[PDF (3.1M)]
[PDF (1.1M)]
|
4. |
Thu 26.02.09 16:30 18:30 |
208 |
[G] Part II: Propositional Logic (PL) |
-- |
[PDF (1.2M)]
|
5. |
Tue 03.03.09 14:30 16:30 |
208 |
[G] Part II: PL (cont')
|
-- |
"
|
6. |
Thu 05.03.09 16:30 18:30 |
208 |
[G] Part II: Class Logic (ClassPL) |
-- |
(*)
|
-- |
Tue 10.03.09 14:30 16:30 |
208 |
No Lecture |
-- |
--
|
7. |
Thu 12.03.09 16:30 18:30 |
208 |
[G] Part II: Application of ClassPL matching,
formal classification |
see slides |
[PDF (1.2M)]
[PDF (1.0M)]
|
8. |
Tue 17.03.09 14:30 16:30 |
208 |
[A] Part II: First-Order Logic (FOL) |
[BX,B1-B4] |
(*)
|
-- |
Thu 19.03.09 16:30 18:30 |
208 |
No Lecture (ICT Day) |
-- |
--
|
9. |
Tue 24.03.09 14:30 16:30 |
208 |
[A] Part II: FOL semantics |
" |
(*)
|
10. |
Thu 26.03.09 16:30 18:30 |
208 |
[A] Part II: FOL semantics (cont') querying
DBs |
" |
(*)
|
11. |
Tue 31.03.09 14:30 16:30 |
208 |
[A] Part II: FOL normal forms |
[B3,B4] |
[PDF (<1M)]
|
12. |
Thu 02.04.09 16:30 18:30 |
208 |
[A] Part II: FOL Reduction to PL DP's
procedure (hints) |
-- |
"
|
13. |
Tue 07.04.09 14:30 16:30 |
208 |
[A] Part III: Description Logic (DL) |
[DL1, WDL1] |
[PDF (1.5M)]
|
14. |
Thu 09.04.09 16:30 18:30 |
208 |
[A] Part III: DL (semantics) |
-- |
"
|
-- |
Tue 14.04.09 14:30 16:30 |
208 |
No Lecture (Vacation) |
-- |
--
|
15. |
Thu 16.04.09 16:30 (sharp) 18:30 |
208 |
Midterm Exam [*] |
-- |
--
|
16. |
Tue 21.04.09 14:30 16:30 |
208 |
[A] Part III: DL (reasoning) |
[DL2] |
[PDF (<1M)]
|
17. |
Thu 23.04.09 16:30 18:30 |
208 |
[A] Part III: DL (reasoning, cont') |
-- |
"
|
18. |
Tue 28.04.09 14:30 16:30 |
208 |
[A] Part III: DL: QA/fuzzy DL |
-- |
[Not Provided]
(Blackboard)
|
19. |
Thu 30.04.09 16:30 18:30 |
208 |
[A] Part III: DL: SHIQ |
[DL3] |
[Not Provided]
(Blackboard)
|
-- |
Tue 05.05.09 14:30 16:30 |
208 |
No Lecture |
-- |
--
|
20. |
Thu 07.05.09 16:30 18:30 |
208 |
[A] Part III: OWL |
[DL4] |
[PDF (2.1M)]
|
21. |
Tue 12.05.09 14:30 16:30 |
208 |
[A] Part III: Default Logic |
[NML1, NML2] |
[PDF (<1M)]
|
22. |
Thu 14.05.09 16:30 18:30 |
208 |
[F] Part III: Context Logic |
[CXL1,
WCXL1] |
[PDF (<1M)]
|
23. |
Tue 19.05.09 14:30 16:30 |
208 |
No Lecture |
-- |
--
|
24. |
Thu 21.05.09 16:30 18:30 |
208 |
[F] Part III: C-OWL Conclusions |
[CXL2] |
[PDF (<1M)]
|