Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie.