AIFB

Valid HTML 4.01!

Valid CSS!

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

Intelligente Systeme im WWW

Veranstaltung [25780], Sommer 2005

Dozenten: Pascal Hitzler und York Sure
Betreuer: Markus Krötzsch
Tutor: Daniel Politze
Umfang:
2+1 SWS (Vorlesung+Übung),
4.5 Leistungspunkte
Zeit & Ort:
Vorlesung: Mittwoch 11.30 – 13.00 in 11.40, -116
Übung: Montag 11.30 – 13.00 in 11.40, -116
Beachten Sie bitte den Terminplan.

Die Prüfungen im Wintersemester finden am 8. März 2006 als mündliche Prüfung statt. Prüfungsthema ist, genau wie bei der Klausur im Sommersemester, der Inhalt der Vorlesungen im Sommersemester 2005. Angemeldete Studenten werden von uns über ihren genauer Prüfungstermin informiert.

Diese Seiten sind nicht mehr aktuell. Die Vorlesung ISWWW wird aber auch im Sommer 2006 wieder angeboten.

Zur Orientierung ein Verweis auf die Vorlesung vor einem Jahr.

Ü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 sind Methoden der Modellierung, der Datenbankprogrammierung, und der Künstlichen Intelligenz aus denen innovative Technologien und Dienstleistungen entstehen, die leichteres Teilen von Wissen ermöglichen. Die Vorlesung »Intelligente Systeme im WWW« behandelt Methoden aus den angesprochenen Bereichen und zeigt wie Software-Agenten das Semantic Web der Zukunft für Wissensportale, B2B und B2C nutzen können.

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

Terminplan

Vorlesungen finden im Allgemeinen mittwochs von 11.30 – 13.00 Uhr in Raum -116 (Gebäude 11.40) statt. Übungen werden montags ebenfalls von 11.30 – 13.00 Uhr in Raum -116 angeboten und finden etwa aller zwei Wochen statt. Die genauen Termine sind in der folgenden Tabelle angegeben. Jegliche Terminänderungen werden hier angekündigt.

Termin Thema Vortragender
Mo 18.04. Einleitung
PDF schwarz-weiß 1-fach/2-fach/4-fach
Y. Sure
Mi 20.04. XML: Extensible Markup Language
PDF schwarz-weiß 1-fach/2-fach/4-fach
Y. Sure
Mo 25.04. Rechnerübung Gruppe I in Raum 246 (11.40): Software zum Umgang mit Ontologien
M. Krötzsch
Mi 27.04. Rechnerübung Gruppe II in Raum 246 (11.40): Software zum Umgang mit Ontologien
M. Krötzsch
Mo 02.05. RDF + RDFS: Resource Description Framework (Schema)
PDF schwarz-weiß 1-fach/2-fach/4-fach
Y. Sure
Mi 04.05. Logik I
PDF farbig farbig: 1-fach/2-fach/4-fach
PDF schwarz-weiß schwarz-weiß: 1-fach/2-fach/4-fach
Teile des hier behandelten Materials wurden auch schon in anderen Vorlesungen besprochen.
P. Hitzler
Mo 09.05. Übung 1: XML und RDF
PDF schwarz-weiß Aufgaben
ZIP-Archiv Lösungen 1.6 und 1.10
M. Krötzsch
Mi 11.05. Logik II (Unterlagen siehe Logik I) P. Hitzler
Mi 18.05. Übung 2: RDF und Logik
PDF schwarz-weiß Aufgaben
PDF schwarz-weiß Lösungen 2.4, 2.5 und 2.6
RDFS-Datei Lösung 2.1 b)
M. Krötzsch
Mo 23.05. Ontologiesprache OWL I
PDF schwarz-weiß 1-fach/2-fach/4-fach
P. Hitzler
Mi 25.05. Ontologiesprache OWL II (Unterlagen siehe OWL I) P. Hitzler
Mi 01.06. keine Veranstaltung
Mo 06.06. Übung 3: Beweisverfahren und OWL
PDF schwarz-weiß Aufgaben
M. Krötzsch
Mi 08.06. Ontologiesprache F-Logic
PDF farbig Bildschirmversion: 1-fach
PDF schwarz-weiß 1-fach/2-fach/4-fach
M. Krötzsch
Mi 15.06. OWL und Regelsprachen
PDF farbig Bildschirmversion: 1-fach
PDF schwarz-weiß 1-fach/2-fach/4-fach
M. Krötzsch
Mo 20.06. Übung 4: OWL, F-Logik und Regelerweiterungen
PDF schwarz-weiß Aufgaben
PDF schwarz-weiß Lösungen 4.2 bis 4.6
M. Krötzsch
Mi 22.06. Ontology Lifecycle I
PDF farbig farbig: 1-fach/2-fach/4-fach
Y. Sure
Mo 27.06. Ontology Lifecycle II (Unterlagen siehe Ontology Lifecycle I) Y. Sure
Mi 29.06. Übung 5: Regelerweiterungen, Ontology Lifecycle und Rückblick
PDF schwarz-weiß Aufgaben
PDF schwarz-weiß Lösung 5.3
M. Krötzsch
Mi 06.07. Konsultation Logik und OWL P. Hitzler
Mo 11.07. Anwendungen, Konsultation XML, RDF, Ontology Lifecycle
PDF schwarz-weiß farbig: 1-fach/2-fach/4-fach
Y. Sure
Mi 13.07. Der Mars ist näher als man denkt – oder: Semantische Technologien im Praxiseinsatz! Dipl.-Wi.-Ing. Hans-Peter Schnurr,
CEO Ontoprise GmbH

Folien

Die Folien werden nach Möglichkeit jeweils rechtzeitig zur Vorlesung ins Netz gestellt (siehe Termintabelle). Sollte es Probleme bei Anzeige oder Ausdruck geben, bitte Mail an Markus Krötzsch.

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.

Übungsblätter und Lösungen

Ü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).

Literatur

  • Skript Studer: Grundlagen der Informatik I
  • Skript Stucky/Studer: Angewandte Informatik I
  • Uwe Schöning, Logik für Informatiker, Spektrum Akademischer Verlag, 5. Auflage 2000
  • Steffen Hölldobler, Logik und Logikprogrammierung, Synchron Verlag, 3. Auflage 2003
  • Handbook on Ontologies. Staab/Studer 2003 (ISBN 3540408347).
  • Spinning the Semantic Web. Fensel 2003 (ISBN 0262062321).
  • Annotation for the Semantic Web. Handschuh/Staab 2003 (ISBN 158603345X).
  • Proceedings of the World Wide Web Conferences. Elsevier.
  • J. Sowa. Knowledge Representation. Brooks/Cole 1999
  • Tim Berners-Lee. Weaving the Web. Harper 1999 geb./2000 Taschenbuch.

Links

Prüfungen

Die Lehrveranstaltung wird mit einer 60-minütigen Prüfung abgeschlossen, welche in der ersten Woche nach Ende des Semesters stattfindet. Um an der Prüfung teilzunehmen, muss man sich wie gewohnt bis zum 27.6.2005 anmelden ( PDF farbig Details zur Anmeldung). Das institutsinterne Planungssystem für Prüfungstermine wird sicherstellen, dass keine Überschneidungen mit anderen Prüfungen des AIFB auftreten.

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

Zur Klausurvorbereitung ist eine PDFProbeklausur verfügbar. Die Aufgaben sollten in 60min gelöst werden. Lösungen werden zu diesen Aufgaben nicht veröffentlicht.