![]() |
|
Semester: | WS 2003/04 | |
LVA - Name |
Spezielle Kapitel aus Telekooperation: Description Logics und Ontologien | |
LVA - Nummer: |
353.056 | |
LVA - Typ: |
VO | |
Wochenstunden pro Sem.: |
2 | |
Vortragende(r): |
Prof. Burkhard Freitag | |
|
20 | |
Anmeldemodus: |
elektronische Anmeldung | |
Block Vorbesprechung: Do, 9. 10., 16.15 - 17.00 Uhr, T1010 Nächster Termin: 4.11.2003, 10:15 - 11:30, HF 9903 (Hochschulfondgebäude) 12:00 - 13:30, HF 9903 15:30 - 17:00, K 034 D Weitere Termine: Abschlußbesprechung: 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.: |
||
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. 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 |
|
|
||
Weitere Auskünfte: |
syspro@fim.uni-linz.ac.at | |
Links zu anderen Semestern: |