Prinzipien der Wissensrepräsentation - Vorlesungen
| Nr. | Datum | Thema | Folien | Letzte Änderung |
|---|---|---|---|---|
| 1. | Mi, 20. Oktober 2004 | Einführung | (PDF) (4-auf-1; PDF) | |
| 2. | Mi, 20. Oktober 2004 | Aussagenlogik | (PDF) (4-auf-1; PDF) | |
| 3. | Fr, 22. Oktober 2004 | Prädikatenlogik | (PDF) (4-auf-1; PDF) | |
| 4. | Mi, 27. Oktober 2004 Fr, 29. Oktober 2004 |
Modallogik | (PDF) (4-auf-1; PDF) | |
| 5. | Mi, 3. November 2004 Fr, 5. November 2004 Mi, 10. November 2004 |
Default-Logik | (PDF) (4-auf-1; PDF) | |
| 6. | Fr, 12. November 2004 | Nichtmonotone Logik-Programmierung | (PDF) (4-auf-1; PDF) | |
| 7. | Mi, 17. November 2004 Fr, 19. November 2004 Mi, 24. November 2004 |
Kumulative Logik | (PDF) (4-auf-1; PDF) | 24. November 2004 |
| 8. | Mi, 24. November 2004 Fr, 26. November 2004 |
Wissensrevision | (PDF) (4-auf-1; PDF) | |
| 9. | Mi, 1. Dezember 2004 Fr, 3. Dezember 2004 |
Qualitative Kalküle und Constraint-Satisfaction-Probleme | (PDF) (4-auf-1; PDF) | 16. Dezember 2004 |
| 10. | Mi, 8. Dezember 2004 Fr, 10. Dezember 2004 Mi, 15. Dezember 2004 |
Allens Intervallkalkül | (PDF) (4-auf-1; PDF) | 16. Dezember 2004 |
| 11. | Fr, 17. Dezember 2004 Mi, 22. Dezember 2004 |
RCC8 und Topologie | (PDF) (4-auf-1; PDF) | 21. Dezember 2004 |
| 12. | Mi, 12. Januar 2005 | Semantische Netze und Beschreibungslogiken - Einführung | (PDF) (4-auf-1; PDF) | |
| 13. | Mi, 12. Januar 2005 | Einfache, strikte Vererbungsnetzwerke | (PDF) (4-auf-1; PDF) | 16.Januar 2005 |
| 14. | Fr, 14. Januar 2005 Mi, 19. Januar 2005 |
Beschreibungslogiken -- Terminologie and Notation | (PDF) (4-auf-1; PDF) | 16.Januar 2005 |
| 15. | Fr, 21. Januar 2005 | Beschreibungslogiken -- Schlußfolgerungs-Services | (PDF) (4-auf-1; PDF) | |
| 16. | Mi, 26. Januar 2005 | Beschreibungslogiken -- Algorithmen | (PDF) (4-auf-1; PDF) | |
| 17. | Fr, 28. Januar 2005 Mi, 2. Februar 2005 |
Beschreibungslogiken -- Entscheidbarkeit und Komplexität | (PDF) (4-auf-1; PDF) | |
| 18. | Mi, 2. Februar 2005 Fr, 4.Februar 2005 |
Beschreibungslogiken im Semantic Web | (PDF) (4-auf-1; PDF) | |
| 19. | Mi, 9. Februar 2005 | Beschreibungslogiken -- Implementationstechniken | (PDF) (4-auf-1; PDF) |
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