AIFB

Valid XHTML 1.0 Transitional

Valid CSS!

| | Universität Karlsruhe | English version
Lehrveranstaltungen > Sommersemester 2006 > ISWWW >

Intelligente Systeme im WWW

Veranstaltung [25780], Sommer 2006

Dozenten: Anupriya Ankolekar, Pascal Hitzler und York Sure
Betreuer: Markus Krötzsch
Umfang:
2+1 SWS (Vorlesung+Übung),
4.5 Leistungspunkte
Zeit & Ort:
Vorlesung: Mittwoch 11.30 – 13.00 in 11.40, 231
Übung: Montag 11.30 – 13.00 in 11.40, -116
Beachten Sie bitte auch die Ausnahmen im Terminplan.

Hinweis: Die Vorlesung ISWWW ist im Herbst 2007 durch die Lehrveranstaltung «Semantic Web Technologies 1» ersetzt worden. Aktuellere Vorlesungsunterlagen und Materialien sind auf der Webseite zum Lehrbuch Semantic Web – Grundlagen zu finden.


Als zus�tzliche Plattform f�r aktuelle Ank�ndigungen und Diskussionen zwischen Teilnehmern und Lehrenden ist eine Mailingliste eingerichtet worden. Wir empfehlen jedem Teilnehmer, sich �ber die Infoseite zur Mailingliste ISWWW dort anzumelden.

Zur Orientierung ein Verweis auf die Vorlesung vor einem Jahr. In diesem Jahr wurde der Inhalt weiter aktualisiert. Hinzugekommen ist das neue Anwendungsgebiet �Semantische Webservices� zu dem Anupriya Ankolekar vortragen wird. Im Gegenzug werden logische Grundlagen weniger stark betont werden.

�bersicht

�ber die Vorlesung

Im Web der Zukunft spielt Wissen im E-Commerce und in Internetportalen die zentrale tragende Rolle. Wissen kann nur mit Hilfe von Semantik vermittelt werden. Das �Semantic Web�, ein Begriff gepr�gt von Tim Berners-Lee, dem Erfinder des World Wide Web, bezeichnet die intelligente Anwendung des WWW f�r die �bermittlung und den Austausch von Inhalten, die f�r Maschinen und Menschen gleicherma�en verst�ndlich sind.

Grundlage f�r das Semantische Web bilden Methoden der Modellierung, des Datenaustauschs und der Informationsverarbeitung, aus denen innovative Technologien und Dienstleistungen entstehen. Der computergest�tzte Austausch von Wissen erschlie�t dabei gleichsam neue Anwendungsbereiche, wie etwa die Nutzung Semantischer Webdienste oder intelligenter Suchfunktionen. Die Vorlesung �Intelligente Systeme im WWW� behandelt die Grundlagen solcher semantischer Technologien, diskutiert deren aktuelle M�glichkeiten, und zeigt bestehende Herausforderungen auf. Die Vorlesung bildet dadurch gleichsam den Grundstein f�r weiterf�hrende Lehrangebote und Studienarbeiten in diesem hochaktuellen Forschungsgebiet.

Die Vorlesung ist auch f�r Studierende der Informationswirtschaft w�hlbar.

Organisatorisches

Die Folien werden nach M�glichkeit jeweils zur Vorlesung ins Netz gestellt (aktuelle Termine und Unterlagen). Sollte es Probleme bei Anzeige oder Ausdruck geben, bitte Mail an Markus Kr�tzsch.

�bungsbl�tter mit Hausaufgaben werden jeweils rechtzeitig vor dem n�chsten �bungstermin ver�ffentlicht. In den �bungsgruppen werden Fragen zum Stoff von Vorlesung und �bung beantwortet und L�sungen zu den �bungsaufgaben vorgestellt. Dies ist im Allgemeinen nur dann gewinnbringend, wenn die Aufgaben im Vorfeld selbstst�ndig bearbeitet wurden.

Unterlagen und relevante Links zu den einzelnen �bungen werden in der Termintabelle eingetragen und �ber die Mailingliste angek�ndigt. In der �bung besprochene L�sungen werden in der Regel nicht zus�tzlich im Netz zur Verf�gung gestellt, wobei es durchaus Ausnahmen geben kann (zum Beispiel, wenn die L�sung eine XML-Spezifikation oder ein �hnliches Computerdokument ist).

Aktuelle Termine und Unterlagen

Vorlesungen finden im Allgemeinen mittwochs von 11.30 – 13.00 Uhr statt. �bungen werden montags ebenfalls von 11.30 – 13.00 Uhr angeboten und finden etwa aller zwei Wochen statt. Durch verschiedene Feiertage und Veranstaltungen sind allerdings einige Verschiebungen n�tig, wie in der folgenden Tabelle angegeben. Der Veranstaltungsort ist jeweils vom Termin abh�ngig: Veranstaltungen am Montag finden immer in Raum -116, Veranstaltungen am Mittwoch immer in Raum 231 statt (Geb�ude 11.40). Jegliche �nderungen werden hier bekanntgegeben.

Termin Thema/Unterlagen
Mo 24.04. Einleitung
PDF farbig 1-fach/2-fach/4-fach
Mi 26.04. XML: Extensible Markup Language
PDF farbig 1-fach/2-fach/4-fach
Mo 01.05. Feiertag
Mi 03.05. RDF + RDFS: Resource Description Framework (Schema)
PDF farbig 1-fach/2-fach/4-fach
Mo 08.05. �bung 1: XML und RDF
PDF schwarz-wei� Aufgaben
L�sung zu Aufgabe 1.6 (b)
Mi 10.05. Einf�hrung in die Ontologiesprache OWL
PDF farbig 1-fach/2-fach/4-fach
Mo 15.05. Logik I
PDF farbig 1-fach/2-fach/4-fach
Mi 17.05. Logik II
Folien siehe Logik I
22./24.05. keine Veranstaltung
Mo 29.05. Semantik von OWL I
PDF farbig 1-fach/2-fach/4-fach
Mi 31.05. �bung 2: OWl und Logik
PDF schwarz-wei� Aufgaben
Mo 05.06. Feiertag
07.06.–14.6. keine Veranstaltung
Mo 19.06. Semantik von OWL II
Folien siehe Semantik von OWL I
Mi 21.06. Ontologiesprache F-Logic
PDF farbig Bildschirmversion: 1-fach
PDF schwarz-wei� 1-fach/2-fach/4-fach
Mo 26.06. �bung 3: Beweisverfahren und OWL
PDF schwarz-wei� Aufgaben
PDF schwarz-wei� L�sungen 3.4 und 3.6
Mi 28.06. Semantische Webservices I
PDF farbig 1-fach/2-fach/4-fach
Mo 03.07. �bung 4: OWL und F-Logik
PDF schwarz-wei� Aufgaben
PDF schwarz-wei� L�sungen 4.1 und 4.2
Mi 05.07. Semantische Webservices II
PDF farbig 1-fach/2-fach/4-fach
Mo 10.07. �bung 5: Semantische Webservices
PDF schwarz-wei� Aufgaben
Mi 12.07. Anwendungen
PDF farbig 1-fach/2-fach/4-fach
Mo 17.07. keine Veranstaltung
Mi 19.07. Eingeladener Praxisvortrag
Mo 24.07. Konsultation
Mi 26.07. keine Veranstaltung
08.08.2006 M�ndliche Pr�fungen (Ort: 11.40, Raum 224)

Literatur und Referenzen

Die hier behandelten logischen Grundlagen von Ontologien sind zum Teil bereits aus den Vorlesungen Grundlagen der Informatik I (Aussagen- und Pr�dikatenlogik: Kapitel 2.1 und 2.2) und Angewandte Informatik I (Beschreibungslogiken: Kaptiel 4.1 bis 4.5) bekannt. Sollten diese Veranstaltungen inzwischen schon zu weit zur�ckliegen, dann ist es eventuell hilfreich, sich die entsprechenden Inhalte noch einmal zu vergegenw�rtigen.

Online-Ressourcen

B�cher

  • Allgemeine Literatur zum Thema �Semantic Web�:
    • Tim Berners-Lee. Weaving the Web. Harper 1999 geb./2000 Taschenbuch.
    • Steffen Staab, Rudi Studer. Handbook on Ontologies. 2003 (ISBN 3540408347).
    • Siegfried Handschuh, Steffen Staab. Annotation for the Semantic Web. 2003 (ISBN 158603345X).
  • Logik und Grundlagen der Wissensrepr�sentation:
    • Uwe Sch�ning, Logik f�r Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000
    • Steffen H�lldobler, Logik und Logikprogrammierung. 3. Auflage, Synchron Verlag, 2003
    • John Sowa. Knowledge Representation. Brooks/Cole 1999

Pr�fungen

Die Lehrveranstaltung wird mit einer 20-min�tigen m�ndlichen Pr�fung abgeschlossen, welche am 8.8.2006 im B�ro von Pascal Hitzler (Raum 224) stattfindet. Wer sich angemeldet hat, wird in K�rze eine Einladung mit einem konkreten Termin erhalten.

Weitere Informationen zu den Pr�fungsterminen am AIFB sind auf der Seite f�r Studienpl�ne und Pr�fungsangelegenheiten zu finden.