Lehr- und Forschungseinheit für Theoretische Informatik,
Institut für Informatik der Ludwig-Maximilians-Universität München

Projekt-/Diplomarbeitsthema: Implementierung eines Entscheidungsverfahrens für Beschreibungslogik mit terminologischen Zykeln

Beschreibungslogik dient dazu, Teilmengen (sog. Konzepte) einer Gesamtheit zu definieren. Auf der Gesamtheit sind mehrere binaere Relationen (sog Rollen) und Teilmengen (Basiskonzepte) gegeben. Sind zum Beispiel die Basikonzepte "Person" und "Female" gegeben, so koennte man das Konzept "Woman" definieren als "Woman" = "Person" & "Female". Hat man gleichzeitig noch die Rolle "hasChild" gegeben, so kann man "GrandMother" definieren als

• "Grandmother" = "Woman" & exists "hasChild"."Person" & exists hasChild."Person".

Ein wichtiges Problem ist es, fuer zwei vorgelegte Konzeptdefinitionen zu entscheiden, ob das eine Teilmenge des anderen ist (vom anderen subsumiert wird.) Im Projekt soll ein am Lehrstuhl entwickelter effizienter Algorithmus implementiert werden, der dieses Problem in Gegenwart zyklischer Konzeptdefinitionen wie zum Beispiel

• "InfNode" = "Node" & exists "edge"."InfNode"

Als Implementierungssprache kann eine funktionale Sprache oder Java gewaehlt werden. Nach Fertigstellungder Implementierung sollen auch Effizienzvergleiche mit Implementierungen anderer Algorithmen durchgefuehrt werden.

Kontakt

Martin Hofmann (Email: martin.hofmann@ifi.lmu.de, Homepage: http://www.tcs.ifi.lmu.de/~mhofmann/)

Lehr- und Forschungseinheit Institut Universität