Home
General
People
Courses
Research
Services

Praktikum: Implementierung von Plugins für einen LP-Reasoner

Beschreibung:

Im Rahmen des Projekts Answer Set Programming for the Semantic Web wird eine Schnittstelle zwischen einem logischen Programm und beliebigen externen Quellen von Wissen hergestellt. Um aus dem logischen Programm heraus auf das externe Wissen zugreifen zu können, wurden spezielle Atome eingeführt, die ein generisches Interface zu anderen Formalismen darstellen. Momentan wird ein Solver-Framework namens dlvhex entwickelt, das mittels des Answer-Set-Solvers DLV und Plugins zu jenen externen Quellen solche Programme lösen kann.

Dieses Praktikum ist Teil des FWF-Projekts P17212.

Aufgaben:

Die Schnittstelle zu externen Wissensbasen wird durch einen Plugin-Mechanismus realisiert, der eine einfache Erweiterung der Funktionalität ohne Neuübersetzung der Applikation zulässt. Dieses Interface ist in der Sprache C ausgeführt. Eine Anzahl von verschiedenen Plugins soll implementiert werden:
  • Bereitstellen von arithmetischen Funktionen
  • Realisieren von String-Manipulations-Funktionen
  • Importieren von RDF-Daten (bereits teilweise vorhanden)
  • Zugriff auf WordNet, um lexikalisches und semantisches Wissen zu verarbeiten
  • Import von bibtex-Daten zur Verarbeitung von bibliographischen Strukturen
  • Schnittstelle zu Google
  • ... (weitere Vorschläge willkommen!))
Bei weitergehendem Interesse an diesem Thema kann das Praktikum, bei entsprechender Realisierung und Dokumentation, durchaus in einer Diplomarbeit münden.

Voraussetzungen:

Grundkonzepte der Logischen Programmierung. Kenntnisse in C.

Termin

Ab sofort!

Interessenten melden sich bitte bei Roman Schindlauer (58801/18469).


webmaster@kr.tuwien.ac.at