|
Praktikum: Implementierung von Plugins für einen LP-ReasonerBeschreibung: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:
Voraussetzungen:Grundkonzepte der Logischen Programmierung. Kenntnisse in C. TerminAb sofort! Interessenten melden sich bitte bei Roman Schindlauer (58801/18469). |