OWL - Semantik und Reasoning (8. Vorlesung SWebT1 WS07/08)

Aus Semantic-Web-Grundlagen

Version vom 14:34, 16. Jan. 2008 bei Markus Krötzsch (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche
Vorlesung
OWL – Semantik und Reasoning
Dozent Sebastian Rudolph
Datum December 19 2007
von 11:30
bis 13:00
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS07/08
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:

Übersicht

  • Beschreibungslogiken
  • ALC
  • OWL als SHOIN(D)
  • Inferenzprobleme
  • Tableau-Beweiser
  • Resolution mit KAON2
Fakten zu OWL - Semantik und Reasoning (8. Vorlesung SWebT1 WS07/08)RDF-Feed
Datum 19. Dezember 2007  +
Dozent Sebastian Rudolph  +
Endzeit 19. Dezember 2007 13:00  +
Nummer 8  +
Ort Gebäude 11.40 Raum 231  +
Serie SWebT1 WS07/08  +
Startzeit 19. Dezember 2007 11:30  +
Titel OWL – Semantik und Reasoning  +
Unterlagen 8-OWL - Semantik und Reasoning.pdf  +
Persönliche Werkzeuge