The Knowledge Acquisition and Representation Language Karl door Dieter Fensei