OWL - Semantik und Reasoning (10. Vorlesung SWebT1 WS10/11)

Aus Semantic-Web-Grundlagen

Wechseln zu: Navigation, Suche
Vorlesung
OWL – Semantik und Reasoning
Dozent Sebastian Rudolph
Datum January 12 2011
von 11:30
bis 13:00
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS10/11
Nummer 10

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 SROIQ(D)
  • Inferenzprobleme
  • Tableau-Beweiser
Persönliche Werkzeuge