OWL - Semantik und Reasoning (8. Vorlesung SWebT1 WS08/09)
Aus Semantic-Web-Grundlagen
| Vorlesung | |
|---|---|
OWL – Semantik und Reasoning
| |
| Dozent | Sebastian Rudolph |
| Datum | December 10 2008 |
| von | 11:30 |
| bis | 13:00 |
| Ort | Gebäude 11.40 Raum 231 |
Veranstaltungsreihe SWebT1 WS08/09
| |
| Nummer | 8 |
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:
- WS0809-8-OWL - Semantik und Reasoning.ppt (Powerpoint-Sourcen)
- WS0809-8-OWL - Semantik und Reasoning.pdf (PDF)
Übersicht
- Beschreibungslogiken
- ALC
- OWL als SHOIN(D)
- Inferenzprobleme
- Tableau-Beweiser
- Resolution mit KAON2
Fakten zu OWL - Semantik und Reasoning (8. Vorlesung SWebT1 WS08/09)RDF-Feed
| Datum | 10. Dezember 2008 + |
| Dozent | Sebastian Rudolph + |
| Endzeit | 10. Dezember 2008 13:00 + |
| Nummer | 8 + |
| Ort | Gebäude 11.40 Raum 231 + |
| Serie | SWebT1 WS08/09 + |
| Startzeit | 10. Dezember 2008 11:30 + |
| Titel | OWL – Semantik und Reasoning + |
| Unterlagen | WS0809-8-OWL - Semantik und Reasoning.pdf + |
