The Knowledge Acquisition and Representation Language, Karl by Dieter Fensei