|
|
Methoden und Prinzipien der Logik |
| Inhalt: |
In der Vorlesung werden Methoden und Prinzipien der Logik in vertiefter Form behandelt. Dies umfasst die folgenden Themen:
- Übersicht über die Prädikatenlogik
- Stufen der Wissensverarbeitung
- Grundbegriffe der Modelltheorie
- Metatheorie formaler Theorien
- Definierbarkeit und Interpretierbarkeit
- Entscheidbare Theorien und Klassifikationsproblem
- Grundbegriffe der Deduktionssysteme
|
|
Materialien:
|
Skript zur Logik: [PDF]
Übungsblätter (Passwort benötigt): [Blatt 1]
|
| Zyklus: | unregelmäßig |
| Weitere Informationen: |
2006 (WS)
|
zurück
|
|
|
Formale Ontologie in Informationssystemen |
| Inhalt: |
Im Rahmen dieser Vorlesung werden Themen aus folgenden Bereichen behandelt:
- Grundlagen der Formalen Ontologie
- Formalisierte Wissenssysteme
- Ontologische Kategorien und Fragestellungen
- General Formal Ontology (GFO)
- Anwendungen
|
|
Materialien:
|
Folien zur Vorlesung [PPT]
Material zur General Formal Ontology: [PDF]
Skript zur Logik: [PDF]
|
| Zyklus: | jedes Semester |
| Weitere Informationen: |
2006 (SS, WS)
2005 (SS, WS)
2004 (SS, WS)
2003 (SS, WS)
2002 (SS, WS)
2001 (SS, WS)
|
zurück
|
|
|
Prinzipien des Ontological Engineering
|
|
Einordnung:
|
Begleitendes Problemseminar
|
|
Inhalt:
|
Das Seminar ist eine empfehlenswerte Ergänzung zur Vorlesung. Einerseits besteht die Möglichkeit, auf Verständnisprobleme einzugehen, andererseits wird der Inhalt der Vorlesung auf eine breitere Basis gestellt. Dafür wird zu Beginn des Seminars ein Reader bereitgestellt, der Texte zu den einzelnen Themenkomplexen enthält. Diese bilden die Basis für die Seminarsitzungen, in denen der Inhalt dieser Texte in Referaten vorgestellt und anschließend diskutiert wird.
|
| Zyklus: |
jedes Semester |
|
Weitere Informationen:
|
2006 (WS: VV,
Wiki)
2006 (SS: VV,
Wiki)
2005 (WS: VV,
Wiki)
|
zurück
|
|
|
Ontological Engineering: Themenkomplex
|
|
Einordnung:
|
Themenspezifisches Problemseminar
|
|
Inhalt:
|
Das Seminar ist als forschungsnahes Problemseminar ausgerichtet, d.h., in einem Semester wird ein spezieller Themenkomplex in seinem aktuellen Forschungsstand erarbeitet. Dafür wird zu Beginn des Seminars ein Reader bereitgestellt, der grundlegende Texte zum Thema enthält und durch weitere Literaturrecherche ergänzt werden soll. Diese Texte bilden die Basis für die Seminarsitzungen, in denen der Inhalt in Referaten vorgestellt und anschließend diskutiert wird.
|
| Zyklus: |
unregelmäßig, ca. aller 2 Semester |
|
Weitere Informationen:
|
2006 SS: "Social Reality"
(VV,
Wiki)
2005 SS: "Context"
(VV,
Home)
|
zurück
|
