- Bachelorarbeit -

Beschreibung:
Das Semantic Web erweitert das World Wide Web von einem menschen-lesbaren Web zu einem maschinen-verständlichen Web und stellt damit Einsatzmöglichkeiten zum Suchen, Finden, Sortieren und der Klassifikation von Web-Informationen für den Menschen zur Verfügung.

Zu diesem Zweck hat das W3C RDFS und OWL als Ontologiesprachen und RIF als Semantic Web Regelsprache standardisiert. Mit Hilfe von Ontologien kann man implizites Wissen darstellen. Um aus den impliziten Wissen explizite Fakten zu ermitteln, können Inferenzregeln verwendet werden, die zum Beispiel in der RIF Regelsprache ausgedrückt sind.

Im LUPOSDATE-Projekt haben wir eine hocheffiziente Semantic Web Datenbank entwickelt, die die Regelsprache RIF unterstützt.

Der RIF Regelevaluator in LUPOSDATE beherrscht zurzeit die seminaive
Auswertungsstrategie mit einer Vorwärtsverkettung von Regelableitungen, die auch Delta-Optimierung genannt wird.
Daneben gibt es weitere Verfahren wie etwa
- Magic Sets-Verfahren (oder einer Variante wie etwa diese), die Regeln zur Optimierung umschreiben
- Rückwartsverkettung von Regelableitungen
- Resolution, bei dem durch ein Widerlegungsverfahren Aussagen zum Beispiel über Ontologien getroffen werden können wie etwa Klassenkonsistenz, Klasseninklusion (und damit auch Klassenäquivalenz), Klassendisjunktheit und Klassenzugehörigkeit.

Diese Bachelorarbeit befasst sich mit einer Variante des Magic Sets-Ansatzes. Neben einer Implementation des Verfahrens und Integration in LUPOSDATE ist eine Evaluation der Performance durch Meßreihen vorgesehen.

Anforderungen/Kenntnisse:
Java

Bearbeitung:
André Vogt

Ergebnis:
Die Ausarbeitung kann im Institut für Informationssysteme angefordert werden

Betreuung:
Privatdozent Dr. rer.nat. habil. Sven Groppe
Institut für Informationssysteme
Ratzeburger Allee 160 ( Gebäude 64 - 2. OG)
23562 Lübeck
Telefon: 0451 / 500 5706