Prinzipien der Wissensrepräsentation - Vorlesungen
Nr. | Datum | Thema | Folien | Letzte Änderung |
---|---|---|---|---|
1. | Mo, 24. Okt. 2005 | Einführung | (PDF) (4-auf-1; ps.gz) | 8. Nov. 2005 |
2. | Mo, 24. Okt. 2005 | Aussagenlogik | (PDF) (4-auf-1; ps.gz) | 8. Nov. 2005 |
3. | Mo, 31. Okt. 2005 | Prädikatenlogik | (PDF) (4-auf-1; ps.gz) | 8. Nov. 2005 |
4. | Mi, 02. Nov. 2005 | Komplexitätstheorie | (PDF) (4-auf-1; ps.gz) | 8. Nov. 2005 |
5. | Mo, 07. Nov. 2005 Mi, 09. Nov. 2005 |
Modallogik | (PDF) (4-auf-1; ps.gz) | 8. Nov. 2005 |
6. | Mo, 14. Nov. 2005 Mi, 16. Nov. 2005 Mo, 21. Nov. 2005 |
Default-Logik u.a. | (PDF) (4-auf-1; ps.gz) | |
7. | Mi, 23. Nov. 2005 | Nichtmonotone Logik-Programmierung | (PDF) (4-auf-1; ps.gz) | |
8. | Mo, 28. Nov. 2005 Mi, 30. Nov. 2005 Mo, 5. Dez. 2005 |
Kumulative Logik | (PDF) (4-auf-1; ps.gz) | 5. Dez. 2005 |
9. | Mo, 5. Dez. 2005 Mi, 7. Dez. 2005 |
Einfache strikte Vererbungsnetze | (PDF) (4-auf-1; ps.gz) | |
10. | Mo, 12. Dez. 2005 | Beschreibungslogiken: Terminologie und Notation | (PDF) (4-auf-1; ps.gz) | |
11. | Mo, 12. Dez. 2005 Mi, 14. Dez. 2005 |
Beschreibungslogiken: Schlussfolgerungsprobleme und Reduktionen | (PDF) (4-auf-1; ps.gz) | 19. Dez. 2005 |
12. | Mo, 19. Dez. 2005 | Beschreibungslogiken -- Algorithmen | (PDF) (4-auf-1; ps.gz) | |
13. | Mi, 21. Dez. 2005 | Beschreibungslogiken -- Entscheidbarkeit und Komplexität | (PDF) (4-auf-1; ps.gz) | |
14. | Mo, 9. Jan 2006 | Beschreibungslogiken im Semantic Web | (PDF) (4-auf-1; ps.gz) | 9. Jan. 2006 |
15. | Mi, 11. Januar 2006 | Beschreibungslogiken -- Implementationstechniken | (PDF) (4-auf-1; ps.gz) | |
16. | Mo, 16. Jan 2006 | Qualitative Kalküle und Constraint-Satisfaction-Probleme | (PDF) (4-auf-1; ps.gz) | |
17. | Mi, 18. Jan 2006 | Allens Intervallkalkül | (PDF) (4-auf-1; ps.gz) | |
18. | Mo, 30. Jan 2006 | RCC8 und Topologie | (PDF) (4-auf-1; ps.gz) |
Probleme beim Ausdrucken der Folien
Bei manchen Druckern sind Vorder- und Rückseite der 4-auf-1-Folien im Duplexmodus falsch orientiert. Da die Orientierung von Vorder- und Rückseite bei Vorlagen im Querformat druckertreiberabhängig ist, gibt es leider keine Lösung, die immer funktioniert. Falls die Rückseite "auf dem Kopf" gedruckt wird, helfen (unter Linux/UNIX) eventuell folgende Kommandos (folien.4.pdf ist dabei die Datei mit den Folien, printer der Name des Druckers):
pdf2ps folien.4.pdf
grep -v "^%%Orientation" folien.4.ps | lpr -Pprinter
Alternativ kann man die angepassten Folien auch in eine zweite Datei ausgabe.ps schreiben, um diese später zu drucken:
pdf2ps folien.4.pdf
grep -v "^%%Orientation" folien.4.ps > ausgabe.ps
Zusätzliches Material
Beschreibungslogiken:
- Ian Horrocks, DAML+OIL: an Ontology Language for the Semantic Web, DAML PI Meeting, Arlington, Virginia, USA, 13.-15. Februar 2001.
- Ian Horrocks, DAML+OIL: a description logic for the semantic web, Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 25(1):4-9, März 2002.
Nichtmonotone Logik-Programmierung:
- Das smodels-System (Helsinki University of Technology).
Theorembeweiser (Modal-/Beschreibungslogik)
Ontology Editors