The knowledge acquisition and representation language, KARL - Fensel, Dieter (Kluwer Academic Publishers, 1995)