The knowledge acquisition and representation language, KARL | lit.salon