The Knowledge Acquisition and Representation Language, KARL

refine