Blocking & Unravelling (12. Vorlesung SemWeb WS11/12) - Semantic Web Grundlagen
Tableau zum Automatischen Schlussfolgern | |
| Dozentin | Birte Glimm |
| Datum | 05. Dezember 2011 |
| von | 14:00 |
| bis | 16:00 |
| Ort | Gebäude O28 Raum H21 |
Veranstaltungsreihe SemWeb WS11/12 | |
| Nummer | 12 |
In dieser Vorlesung der Veranstaltung Semantic Web Grundlagen beschäftigen wir uns mit dem automatischen Schlussfolgern in der Bescheibungslogik (BL) ALC ergänzt um inverse und funktionale Rollen. Dazu werden die Verfahren zur Zyklenerkennung adaptiert und erweitert. Des Weiteren werden gängige Optimierungen eingeführt, die in der Praxis Anwendung finden.
Die Vorlesung orientiert sich dabei grob an Kapitel 6 des Lehrbuchs.
Folien:
- folien.pdf (PDF)
- handout.pdf (PDF, 4 Seiten auf 1)