würd mich mal interessieren ob jemand der dieses Semester geprüft wurde, zu Beschreibungslogiken befragt wurde! (Man lern sich ja sonst echt den A**** wund…)

Ja.

echt…und was wurdest du so gefragt (und bei wem war die Prüfung)?

Ich sollte einen Tableau-Beweis in der Beschreibungslogik führen. Platz- und Zeitbedarf war leider exponentiell, so dass ich immer noch in der Prüfung sitze… Vor 5min hatte ich eine partielle Verklemmung, so dass ich jetzt erst antworten konnte.