Spezielle Kapitel aus Telekooperation:
Description Logics und Ontologien

LVA - Name

LVA - Nummer:

LVA - Typ:

Wochenstunden pro Sem.:

Vortragende(r):

Max. Teilnehmerzahl:

Anmeldemodus:

Termine:

Weitere Termine:
2.12.2003,   10:15 - 11:45,    K034D
                    12:00 - 13:30,    K034D
                    15:30 - 17:00,    HS 9
16.12.2003, 10:15 - 11:45,    BA9910
                    12:00 - 13:30,    BA9910
                    15:30 - 17:00,    BA9908
13.1.2004,   10:15 - 11:45,    BA9911
                    12:00 - 13:30,    BA9911
                    15:30 - 17:00,    BA9908
27.1.2004,   10:15 - 11:45,    UC 5
                    12:00 - 13:30,    UC 5
                    15:30 - 17:00,    BA9908

Abschlußbesprechung:
Do, 4.3.2004, 10:15 - 13:30 Uhr, T 911

Diese LVA ist durch WeLearn unterstützt. Den WeLearn-Server erreichen Sie unter http://welearn5.fim.uni-linz.ac.at

 Login ist Ihre Matrikelnummer, ebenso ist zu Beginn das Passwort Ihre Matrikelnummer. Z.B.:
Login: 9355071
Password: 9355071
Wichtig: Ändern Sie bitte Ihr Passwort sofort beim ersten Login!

Ort:

Inhalt der LVA:

Mit Description Logics (Beschreibungslogik) wird eine Familie bestimmter, in der Regel endscheidbarer, Fragmente der Prädikatenlogik erster Stufe bezeichnet. Für die Description Logics sind effizient implementierbare automatische Beweisverfahren bekannt, die sich heute in Form frei zugänglicher Software einsetzen lassen. Da sich die Beschreibungslogik besonders für die Repräsentation von terminologischem und ontologischem Wissen eignet, wird ihr im Zusammenhang mit dem Semantic Web besondere Aufmerksamkeit geschenkt. Die XML-Sprache DAML+OIL bzw. ihre Weiterentwicklung OWL wird zur textuellen Repräsentation und Verbreitung derartiger Ontologien über das Web verwendet. In neuerer Zeit wird deutlich, dass sich Beschreibungslogiken auch gut für das Matchmaking, z.B. zwischen Web-Services und Applikationen, eignen.

Behandelte Themen sind u.a.
• Logische Grundlagen
• Semantic Web und Ontologien
• Einführung in Description Logics
• Syntax, Semantik
• Automatische Beweisverfahren für Description Logics
• Description Logics für die Wissensrepräsentation
• Description Logics und Datenbanken
• Description Logics in XML: DAML+OIL
• Description Logics und Ontologien
• Matchmaking mit Description Logics

Als Literatur wird für den Einstieg der Web-Kurs [Fra02] empfohlen. Die eher theoretischen Themen werden in [BCM+03] behandelt. In [BHS02] wird der Einsatz von Description Logics im Semantic Web dargestellt. Für die Vorlesung wird es ein Skriptum in elektronischer Form (PDF) geben. Wenn immer möglich, steht das Material vor der jeweiligen Vorlesungseinheit im Web zum Download zur Verfügung, spätestens jedoch in der darauffolgenden Woche.

LVA - Modus:

Prüfung:

Literatur:

[BCM+03] Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook – Theory, Implementation and Applications. Cambridge University Press, 2003

[BHS02] Franz Baader, Ian Horrocks, and Ulrike Sattler. Description logics for the semantic web. KI – Künstliche Intelligenz, 4, 2002

[Fra02] Enrico Franconi. Description logics (web-course). available at http://www.cs.man.ac.uk/¡«franconi/dl/course/, 2002

Sonstige Informationen:

Weitere Auskünfte:

Links zu anderen Semestern: