Tableau (11. Vorlesung SemWeb WS11/12) - Semantic Web Grundlagen
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:
- folien.pdf (PDF)
- handout.pdf (PDF, 4 Seiten auf 1)