OWL - Semantik und Reasoning (7. Vorlesung SWebT1 WS09/10)
Aus Semantic-Web-Grundlagen
Version vom 07:21, 1. Dez. 2009 bei Sebastian Rudolph (Diskussion | Beiträge)
Vorlesung | |
---|---|
OWL – Semantik und Reasoning
| |
Dozent | Markus Krötzsch |
Datum | December 2 2009 |
von | 11:30 |
bis | 13:00 |
Ort | Gebäude 11.40 Raum 231 |
Veranstaltungsreihe SWebT1 WS09/10
| |
Nummer | 7 |
In dieser Vorlesung der Veranstaltung Semantic Web Technologies 1 beschäftigen wir uns mit der formalen Semantik von OWL. Dazu betrachten wir zunächst sogenannte Beschreibungslogiken, welche die semantische Basis für OWL DL bilden.
Die Vorlesung orientiert sich dabei an Kapitel 6 des Lehrbuchs. Weitere Details sowie weiterführende Literatur sind auf der entsprechenden Seite zu finden.
Folien:
Übersicht
- Beschreibungslogiken
- ALC
- OWL als SHOIN(D)
- Inferenzprobleme
- Tableau-Beweiser
Fakten zu OWL - Semantik und Reasoning (7. Vorlesung SWebT1 WS09/10)RDF-Feed
Datum | 2. Dezember 2009 + |
Dozent | Markus Krötzsch + |
Endzeit | 2. Dezember 2009 13:00 + |
Nummer | 7 + |
Ort | Gebäude 11.40 Raum 231 + |
Serie | SWebT1 WS09/10 + |
Startzeit | 2. Dezember 2009 11:30 + |
Titel | OWL – Semantik und Reasoning + |
Unterlagen | WS0910-7-OWL - Semantik und Reasoning.pdf + |