WS10 - KBS - Syntax and Semantics