The Knowledge Acquisition and Representation Language KARL