Teaching

The topics of Onto-Med lectures concern formal ontology and its applications in information systems. The lectures and seminars are held by Prof. Heinrich Herre as well as in part by other members of Onto-Med.

Teaching in Onto-Med includes the following lectures and seminars. Further information is available in German:

  • Formal Ontology for Information Systems (lecture)
  • Principles of Ontological Engineering (seminar)
  • Ontological Engineering: TOPIC (seminar, focusing on a specific topic each term)

Contact person

Prof. Dr. Heinrich Herre
Email heinrich.herre@imise.uni-leipzig.de

Lehre

  1. Vorlesungen
  2. Seminare
  3. Archiv

Vorlesungen

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:
Zyklus: unregelmäßig
Weitere Informationen: 2006 (WS)

Formale Ontologie für Informationssystemen

Inhalt:

Im Rahmen dieser Vorlesung werden Themen aus folgenden Bereichen behandelt:

  • Prinzipien der Wissensverarbeitung
  • Grundlagen der Formalen Ontologie
  • Ontologiesprachen
  • Grundlagen des Semantic Web
  • Ontologien in der Biologie und Medizin
  • Prinzipien der Ontologie-Entwicklung
Materialien:
Zyklus: jedes Semester
Weitere Informationen: 2006 (SS, WS)    2005 (SS, WS)    2004 (SS, WS)
2003 (SS, WS)    2002 (SS, WS)    2001 (SS, WS)

Seminare

Prinzipien des Ontological Engineering

Einordnung: Begleitendes Problemseminar
Inhalt:

Das Seminar ist eine empfehlenswerte Ergänzung zur Vorlesung "Formale Ontologie in Informationssystemen". 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 enthalt. 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, SS: VV, Wiki)    2005 (WS: VV, Wiki)

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)