Answer Set Programmierung für das Semantische Web

Das World Wide Web (WWW) ist derzeit die wohl größte und meist frequentierte öffentlich zugängliche Datenquelle. Allerdings sind die meisten dieser Daten nur zur direkten Nutzung durch den Menschen gedacht und können nicht zur automatisierten Informationsverarbeitung verwendet werden. Als Folge davon kann eine Vielzahl von Prozessen nicht vollständig mechanisiert werden, und es gibt keine gemeinsame Methode der Darstellung und Manipulation von Wissen über Web-Daten. Um diese Nachteile zu überwinden, werden derzeit eingehende Untersuchungen durchgeführt um die nächste Generation des Internets (des sogenannten "Semantischen Webs") zu spezifizieren, indem automatisierte Schlussverfahren unterstützt werden sollen. Forschungen in dieser Richtung beschäftigen sich derzeit allerdings nur mit terminologischen Schlussmethoden, die es erlauben, Aufgaben wie der Klassifikation bzw. der Instanzprüfung durchzuführen. Im Rahmen des WWW sind aber im Allgemeinen auch andere, flexiblere Schlussverfahren notwendig. Das Ziel dieses Projektes ist es Methoden zu untersuchen, die fortgeschrittene Informations-verarbeitung im Kontext des Semantischen Webs auf Basis deklarativer Wissensrepräsentation und -verarbeitung erlauben. Im Speziellen soll hier der Einsatz von logischer Programmierung unter der Answer Set Semantik erforscht werden, um geeignete Sprachen und Werkzeuge zu realisieren, die die Möglichkeiten derzeitiger Ansätze erweitern, sowie zur Unterstützung (Schlussverfahren-erkennender Abfragemöglichkeiten). Besondere Aufmerksamkeit soll dabei der Entwickung geeigneter Modelle und Algorithmen zur Behandlung von Default- und Präferenz-Information gelegt werden. Schlussendlich ist geplant, automatisierte Module für spezielle Anwendungen im Kontext von Spezifikationen für Systemverhalten sowie personalisierten Informationssystemen bereitzustellen.