Tableau (11. Vorlesung SemWeb WS11/12) - Semantic Web Grundlagen

Vorlesung
Tableau zum Automatischen Schlussfolgern
 
Dozentin Birte Glimm
Datum 28. November 2011
von 14:00
bis 16:00
Ort Gebäude O28 Raum H21
Veranstaltungsreihe SemWeb WS11/12
 
Nummer 11

 

In dieser Vorlesung der Veranstaltung Semantic Web Grundlagen beschäftigen wir uns mit dem automatischen Schlussfolgern in der Bescheibungslogik (BL) ALC. Diese BL ist die einfachste propositional abgeschlossene BL, die der formalen Semantik von OWL zu Grunde liegt.

Die Vorlesung orientiert sich dabei grob an Kapitel 6 des Lehrbuchs.


Folien: