Mittwoch, 28. Januar 2009

Aktuelles Handout

Anbei das aktuelle Handout zur Vorlesung vom 29.01.2009:Diesmal gibt es auch direkt die Materialien dazu, nämlich auf bibsonomy mit dem Tag sw0809-11.

Die morgige Vorlesung dreht sich um 'Regelsprachen', d.h. Erweiterungen der uns bislang bekannten OWL Wissensrepräsentation in Richtung Regeln. Warum das interessant ist? Ganz einfach: Schon seit den späten 80er Jahren existieren in der Logikprogrammierung regelbasierte Sprachen und Datenbanken, die insgesamt eine weite Verbreitung gefunden haben. Das heißt also, es gibt da draußen eine Menge 'Wissen', das in Form von Regeln abgelegt ist.....nur leider ist es bislang nicht 'kompatibel' mit dem Semantic Web...

Also: Es wird Zeit für eine standardisierte Regelaustauschsprache, mit der man unterschiedliche 'Dialekte' integrieren und mit in das Semantic Web holen kann.

Neues Übungsblatt

Anbei das neue Übungsblatt Die zur Lösung der Aufgabe 3(b) notwendige SWRL-Datei befindet sich hier.

Dienstag, 27. Januar 2009

Donnerstag, 22. Januar 2009

Handout zur Vorlesung vom 22.1.2009

Anbei das Handout zur heutigen Vorlesung vom 22.01.2009
In der heutigen Vorlesung werden wir uns Gedanken über die Semantik von OWL machen. Ein "Trick" besteht darin, dass wir die Semantik von OWL und der dahinterstehenden Beschreibungslogiken (ALC, SHIF, SHOIN(D)) auf die Prädikatenlogik (FOL) beziehen, d.h. wir versuchen OWL-Konstrukte auf DL und DL widerun auf FOL abzubilden.

Dann betrachten wir noch das Tableaux-Verfahren, dass uns hilft, Schlussfolgerungen auf einen Widerspruchsbeweis (proof by refutation) zurückzuführen (ähnlich dem Resolutionsverfahren).

Zusätzliche Materialien finden Sie wie immer in bibsonomy unter dem link

Mittwoch, 21. Januar 2009

Neues Übungsblatt

Anbei ds neue Übungsblatt, diesmal mit einem Tag Verspätung....

Montag, 19. Januar 2009

Fundstück zur aktuellen Übung

Teil des aktuellen Übungsblattes war das Zusammenstellen einer "Familien"-Ontologie mit Hilfe der Sprache OWL. Als Möglichkeit, die Ontologie mit "Leben" zu füllen, hatte ich vorgeschlagen, die griechisch/römische Götterwelt herzunehmen. Allerdings hatte ich dabei nicht bedacht, welche Fülle an Göttern und Halbgöttern sich dort tummeln ;-)

Ein Artikel in der ZEIT ("Beim Zeus!", von Urs Willmann) berichtet vom Privatgelehrten Dieter Macek, der in 33-jähriger Arbeit den ersten vollständigen Stammbaum der griechischen Götter- und Heldenwelt geliefert hat......das Dokument ist 52 Meter lang.

Donnerstag, 15. Januar 2009

Materialien zu OWL

Unter dem folgenden Link finden Sie die versprochenen Materialien zu OWL:

Mittwoch, 14. Januar 2009

Handout für die nächste Vorlesung

Anbei das Handout für die kommende Vorlesung am 15.1.2009:Endlich werden wir uns in der Vorlesung mit der Web Ontology Language (OWL) beschäftigen. Am Donnerstag steht dabei erst einmal die komplete Syntax auf dem Plan, bevor wir uns dann in der kommenden Woche mit derzugrundeliegenden Beschreibungslogik und der OWL-Semantik beschäftigen werden.

Dienstag, 13. Januar 2009

Neues Übungsblatt

Anbei das neue Übungsblatt:Diesmal gehte wie bereits angekündigt um RDF(S)-Interpretationen, RDF(S)-Semantik und um Modellierung von Ontologien in OWL....

Übung

Zur heutigen Übung hat usere "Video"-Übungsgruppe einen schönen Beitrag abgeliefert, den man sich hier ansehen kann.

Donnerstag, 8. Januar 2009

Klausur

Die Klausur findet voraussichtlich am Donnerstag, den 19.2.2009 von 13 Uhr - 15 Uhr statt.

Ich wurde von Frau Seidler aus der Verwaltung darauf aufmerksam gemacht, dass in dieser Woche aber auch die Vorlesung von Herrn Plattner stattfinden würde. Betrifft das jemanden von Ihnen? Sollte es tatsächlich zu schwerwiegenden Überschneidungen kommen, wäre ein Ausweichtermin in der darauf folgenden Woche Donnerstag, der 26.2.2009 von 13-15 Uhr.

Um einen Termin zu finden, wäre ich Ihnen der Einfachheit halber für eine kurze Rückmeldung über diesen doodle-Link dankbar, über den Sie ankreuzen können, an welchen Terminen eine Teilnahme für Sie möglich wäre (Bitte kreuzen Sie beide Termine an, wenn Sie an beiden Terminen teilnehmen könnten).

Mittwoch, 7. Januar 2009

Handout zur Vorlesung

Und wieder das aktuelle Handout zur Vorlesung (jetzt in aktualisierter und korrigierter Version):
Entgegen der Ankündigung in der letzten Vorlesung vor den Weihnachtsferien, werden wir OWL erst in der kommenden Woche behandeln. Wir werden uns also morgen erst einmal mit der Semantik von RDF(S) beschäftigen...

...warum das wichtig ist?

Ganz einfach. Um auch mit Hilfe von RDF(S) korrekte Schlussfolgerungen ziehen zu können (z.B. Konsistenz oder Äquivalenz zu prüfen) müssen wir auch für RDF(S) eine modelltheoretische Semantik einführen. Das Rüstzeug dazu haben wir ja schon.

Semantic Web Bücher

So, die 8 bestellten Bücher "Semantic Web Grundlagen" sind inzwischen angekommen. Zuerst müssen diese aber noch "vereinnahmt" werden, bevor sie entliehen werden können. Dazu müssen die Bücher von einem speziellen HPI-Mitarbeiter erfasst und gestempelt werden. Als ich mich am Montag danach erkundigt habe, hieß es, dass der betreffende Mitarbeiter erst wieder am Freitag im Hause sei....Also noch etwas Geduld.
Ich werde die Bücher gleich am Freitag morgen zur "Vereinnahmung" bringen und sie dann in die Bibliothek schaffen lassen.