The Knowledge Acquisition and Representation Language, Karl door Dieter Fensei