The Knowledge Acquisition and Representation Language Karl by Dieter Fensei