Quelltext betrachten

{{Veranstaltung|
  Typ=Vorlesung|
  Nummer=8|
  Titel=OWL &ndash; Semantik und Reasoning|
  Serie=SWebT1 WS08/09|
  Datum=December 10 2008|  
  Startzeit=11:30|
  Endzeit=13:00|
  Ort=Gebäude 11.40 Raum 231|
  Dozent=Sebastian Rudolph|
 }}
In dieser Vorlesung der Veranstaltung [[SWebT1 WS08/09|Semantic Web Technologies 1]] beschäftigen wir uns mit der formalen '''Semantik von [[OWL - Syntax und Intuition (7. Vorlesung SWebT1 WS08/09)|OWL]]'''. Dazu betrachten wir zunächst sogenannte '''Beschreibungslogiken''', welche die semantische Basis für OWL&nbsp;DL bilden.

Die Vorlesung orientiert sich dabei an [[Kapitel 6]] des [[Semantic Web – Grundlagen|Lehrbuchs]]. Weitere Details sowie weiterführende Literatur sind auf der entsprechenden Seite zu finden.


'''Folien:'''
* [[media:WS0809-8-OWL - Semantik und Reasoning.ppt|WS0809-8-OWL - Semantik und Reasoning.ppt]] (Powerpoint-Sourcen)
* [[Unterlagen::media:WS0809-8-OWL - Semantik und Reasoning.pdf|WS0809-8-OWL - Semantik und Reasoning.pdf]] (PDF)

== Übersicht ==

* Beschreibungslogiken
* ALC
* OWL als SHOIN(D)
* Inferenzprobleme
* Tableau-Beweiser
* Resolution mit KAON2