The Knowledge Acquisition and Representation Language, KARL | lit.salon