Institut für Informatik - Dokumentenserver - Universität Leipzig
Institut für Informatik - Dokumentenserver - Universität Leipzig
Institut für Informatik - Dokumentenserver - Universität Leipzig
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
3.3.6 Formale Konzepte<br />
3.3.6.1 Personelle Zusammensetzung<br />
Univ.-Professor Prof. Dr. Heinrich Herre<br />
Doktorand Than Hai Nguyen<br />
Stipendiatin (Graduiertenkolleg) Sybille Schwarz<br />
Programmierer Sergej Kotkowskij<br />
Sekretärin Kerstin Beier<br />
3.3.6.2 Projekte<br />
Erweiterte Logik-Programmierung (Herre, Schwarz)<br />
In diesem Projekt werden die theoretische Grundlagen <strong>für</strong> verallgemeinerte logische<br />
Programme mit zwei Arten von Negationen entwickelt. Für die Beschreibung<br />
der Semantik derartiger Programme wurden die stabil generierten Modelle eingeführt,<br />
die <strong>für</strong> die normalen logischen Programme den Spezialfall der stabilen Modelle<br />
umfassen. Die wohlfundierte Semantik lässt sich auf verallgemeinerte logische<br />
Programme verallgemeinern, indem partiell stabil generierte Modelle eingeführt<br />
werden. In Zusammenarbeit mit L. Pereira (Nova Un. Lisboa) und G. Wagner<br />
(Freie <strong>Universität</strong> Berlin) werden auch kohärente und parakonsistente Modelle<br />
untersucht. Diese Konzepte werden auf Logik-Programme mit Constraints verallgemeinert<br />
und im Rahmen des Graduiertenkollegs "Wissensrepräsentation" bearbeitet.<br />
Wissenssmodellierung mit Anwendungen (Herre, Ngyuen)<br />
Ontologien bilden ein Fundament <strong>für</strong> die Wissensmodellierung und sind eine<br />
grundlegende Komponente eines formalen Wissensrepräsentationssystems. In<br />
den letzten Jahren hat sich das interdiszplinäres Forschungsgebiet "Ontological<br />
Engineering" herausgebildet, das sich mit der Begründung, Formalisierung und<br />
Klassifikation von Ontologien beschäftigt. In diesem Forschungsvorhaben werden<br />
ontologische Aspekte der Wissensmodellierung untersucht und deren axiomatische<br />
Grundlagen erarbeitet. Die Anwendungen werden in enger Zusammenarbeit<br />
mit dem IMISE (<strong>Universität</strong> <strong>Leipzig</strong>) verfolgt und beziehen sich insbesondere<br />
auf die Erhebung und Auswertung von Studienprotokollen im Bereich der Onkologie.<br />
Die Untersuchungen sind eine Grundlage <strong>für</strong> die Entwicklung einer Modellierungssprache<br />
GOL (General Ontological Language), die auf einer axiomatisierten<br />
Top-Level-Ontologie aufbaut. Dieses Projekt wird gemeinsam mit Barry<br />
Smith, SUNY, Buffalo, durchgeführt. In Zusammenarbeit mit der Forschungsgruppe<br />
von J. Treur (Freie <strong>Universität</strong> Amsterdam) wird ferner an der Weiterentwicklung<br />
von Spezifikationsprachen <strong>für</strong> die Wissensrepräsentation gearbeitet.<br />
71