Hypertableau (13. Vorlesung SemWeb WS11/12) - Semantic Web Grundlagen

Vorlesung
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: