Hypertableau (13. Vorlesung SemWeb WS11/12) - Semantic Web Grundlagen
Das HyperTableau Kalkül | |
| Dozentin | Birte Glimm |
| Datum | 08. Dezember 2011 |
| von | 14:00 |
| bis | 16:00 |
| Ort | Gebäude O28 Raum H21 |
Veranstaltungsreihe SemWeb WS11/12 | |
| Nummer | 13 |
In dieser Vorlesung der Veranstaltung Semantic Web Grundlagen beschäftigen wir uns mit dem automatischen Schlussfolgern in der Bescheibungslogik (BL) ALC. Statt des Tableau Kalküls schauen wir und nun das Hypertableau Kalkül an. Weiterhin werden die Unterschiede und der beiden Verfahren betrachtet.
Die Vorlesung hat keine direkte Entsprechung im Lehrbuchs.
Folien:
- folien.pdf (PDF)
- handout.pdf (PDF, 4 Seiten auf 1)